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

＜図書＞
Metalogic : an introduction to the metatheory of standard first order logic

責任表示	Geoffrey Hunter
データ種別	図書
出版情報	Berkeley : University of California Press , c1971
本文言語	英語
大きさ	xiii, 288 p. ; 22 cm
概要	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. Incl...ded 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. 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. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: pbk	中央図 3E	410.1/H 98	1973		050212000015217		予約・取寄			予約・取寄

一般注記	Bibliography: p. [262]-274 Paper-bound edition, 1973
著者標目	*Hunter, Geoffrey
件　名	LCSH:First-order logic
分　類	LCC:BC128 DC:511/.3
書誌ID	1000616139
ISBN	0520018222
NCID	BA09963707
巻冊次	ISBN:0520018222 : pbk ; ISBN:0520023560
登録日	2009.09.14
更新日	2009.09.14