First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - 書籍 - Springer-Verlag New York Inc. - 9781461275152 - 2013年6月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

価格
Mex$ 1.642
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月17日 - 年12月29日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2013年6月26日
ISBN13 9781461275152
出版社 Springer-Verlag New York Inc.
ページ数 326
寸法 244 × 170 × 22 mm   ·   553 g
言語 英語  
すべて表示

Melvin Fittingの他の作品を見る

Melvin Fittingのすべてを見る ( 例： Paperback Book および Hardcover Book )