Metalogic : an introduction to the metatheory of standard first order logic

Geoffrey Hunter

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. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

「Nielsen BookData」より

この本の情報

書名 Metalogic : an introduction to the metatheory of standard first order logic
著作者等 Hunter, Geoffrey
出版元 University of California Press
刊行年月 c1971
ページ数 xiii, 288 p.
大きさ 22 cm
ISBN 0520023560
0520018222
NCID BA09963707
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想