目次
第１章 命題論理学（トートロジー；自然推論；公理系）
第２章 述語論理学（自然推論；公理系；解釈、モデル、完全性）
第３章 形式的数論（形式的数論Ｚ；Ｚの定理 その１；Ｚの定理 その２；数論的関係と関数の表現可能性）
第４章 帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）
第５章 不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）
著者等紹介
安井邦夫［ヤスイクニオ］
１９７０年京都大学大学院文学研究科博士課程修了。専攻、哲学。現在、京都大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Go Extreme
2
命題論理学： 命題結合 真理関数 トートロジー 代入，置換，双対性 標準形，関数的完全性 自然推論 公理系 Hilbert型命題算LP 仮定からの演繹 重要な定理 LPの無矛盾性 LPの完全性 3つの命題算の同等性 述語論理学： 自然推論 公理系 解釈、モデル、完全性 解釈 恒真式 無矛盾性とモデルの存在 完全性定理 形式的推論 帰納的関数： 帰納的関数 帰納的関係 累積帰納法 帰納的関数と表現可能性 不完全性定理2021/07/25
