現代論理学
著者
書誌事項
現代論理学
世界思想社, 2021.4
- : 新装版
- タイトル読み
-
ゲンダイ ロンリガク
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
1991年刊の新装版
参考文献: p211-212
内容説明・目次
目次
- 第１章 命題論理学（トートロジー；自然推論；公理系）
- 第２章 述語論理学（自然推論；公理系；解釈、モデル、完全性）
- 第３章 形式的数論（形式的数論Ｚ；Ｚの定理 その１；Ｚの定理 その２；数論的関係と関数の表現可能性）
- 第４章 帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）
- 第５章 不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）
「BOOKデータベース」 より