論理学への数学的手引き
著者
書誌事項
論理学への数学的手引き
1月と7月, 2020.9
- タイトル別名
-
A mathematical introduction to logic
- タイトル読み
-
ロンリガク エノ スウガクテキ テビキ
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。
読書案内: p479-480
訳者による読書案内: p483
原著第2版(Harcourt/Academic, c2001)の翻訳
内容説明・目次
内容説明
本書は、アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキストの翻訳です。数理論理学の基本定理である１階論理の完全性定理、ゲーデルの不完全性定理（第１および第２）の完全な証明に加え、完全性定理の応用例としての超準解析、２階論理の初歩までをカバーしています。
目次
- 第０章 集合についての予備知識
- 第１章 文論理（形式言語についての、非形式的な注意；文論理の言語 ほか）
- 第２章 １階論理（準備；１階の言語 ほか）
- 第３章 決定不可能性（数論；後者関数のみをもつ自然数論 ほか）
- 第４章 ２階論理（２階言語；スコーレム関数 ほか）
「BOOKデータベース」 より
