論理学への数学的手引き

Ａ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　Ｌｏｇｉｃ

１月と７月 サンクチュアリ出版
ハーバート・Ｂ．エンダートン　嘉田勝　

• 価格: 5,940円（本体5,400円＋税）
• 発行年月: 2020年09月
• 判型: Ａ５
• ISBN: 9784861137099

内容情報

[BOOKデータベースより]

本書は、アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキストの翻訳です。数理論理学の基本定理である１階論理の完全性定理、ゲーデルの不完全性定理（第１および第２）の完全な証明に加え、完全性定理の応用例としての超準解析、２階論理の初歩までをカバーしています。

第０章　集合についての予備知識
第１章　文論理（形式言語についての、非形式的な注意；文論理の言語　ほか）
第２章　１階論理（準備；１階の言語　ほか）
第３章　決定不可能性（数論；後者関数のみをもつ自然数論　ほか）
第４章　２階論理（２階言語；スコーレム関数　ほか）