もくじ情報：第１章　命題論理学（トートロジー；自然推論；公理系）；第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）；第３章　形式的数論（形式的数論Ｚ；Ｚの定理　その１；Ｚの定理　その２；数論的関係と関数の表現可能性）；第４章　帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）；第５章　不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）

安井　邦夫(ヤスイ　クニオ)
１９７０年京都大学大学院文学研究科博士課程修了。専攻、哲学。現在、京都大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）