Logic and Proof Techniques / Logic and Proof Techniques

保存先:
書誌詳細
第一著者: Eberle, Rolf A.
フォーマット: 図書
出版事項: Calcutta : Sreedhar Publishers, 1996
版:1st ed.
主題:
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
その他の書誌記述
物理的記述:210 p.
書誌:Symbolic logic and proof methods.
ISBN:81-7381-232-2