Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - 書籍 - University of California Press - 9780520023567 - 1973年6月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

価格
¥ 7.483
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

302 pages, Ill.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1973年6月26日
ISBN13 9780520023567
出版社 University of California Press
ページ数 302
寸法 209 × 136 × 18 mm   ·   400 g
言語 英語  
すべて表示

Geoffrey Hunterの他の作品を見る

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