現代論理学
著者
書誌事項
現代論理学
世界思想社, 2021.4
- : 新装版
- タイトル読み
-
ゲンダイ ロンリガク
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
1991年刊の新装版
参考文献: p211-212
内容説明・目次
目次
- 第1章 命題論理学(トートロジー;自然推論;公理系)
- 第2章 述語論理学(自然推論;公理系;解釈、モデル、完全性)
- 第3章 形式的数論(形式的数論Z;Zの定理 その1;Zの定理 その2;数論的関係と関数の表現可能性)
- 第4章 帰納的関数(帰納的関数;帰納的関係;累積帰納法;帰納的関数と表現可能性)
- 第5章 不完全性定理(G¨odel数;メタ数学の算術化;不完全性定理;Rosserの定理、第2不完全性定理;決定問題とChurchのテーゼ)
「BOOKデータベース」 より