現代論理学

世界思想社
安井邦夫　

• 価格: 3,098円（本体2,816円＋税）
• 発行年月: 1991年04月
• 判型: Ａ５
• ISBN: 9784790703976

内容情報

[BOOKデータベースより]

本書は現代論理学における基本的なトピックをえらび、それを概説したもので、内容的にはＧ¨ｏｄｅｌの不完全定理までを含んでいる。

第１章　命題論理学（トートロジー；自然推論；公理系）
第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）
第３章　形式的数論
第４章　帰納的関数
第５章　不完全性定理