ISBNコード 9780520023567

Metalogic: An Introduction to the Metatheory of Standard First Order Logic/UNIV OF CALIFORNIA PR/Geoffrey Hunter

商品イメージ
価格調査	※各サイトの検索結果ページが表示されます。
一括価格調査	一括価格調査ツールで検索
コード番号	9780520023567
コードタイプ	ISBN
JANシンボル
商品名	Metalogic: An Introduction to the Metatheory of Standard First Order Logic/UNIV OF CALIFORNIA PR/Geoffrey Hunter
発売日	1973年
商品ジャンル	本・雑誌・コミック > 洋書 > SOCIAL SCIENCE
コメント	This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.\nHunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.