数理論理学とタイプ理論

証明による真理へ
Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｍａｔｈｅｍａｔｉｃａｌ　ｌｏｇｉｃ　ａｎｄ　ｔｙｐｅ　ｔｈｅｏｒｙ：ｔｏ　ｔｒｕｔｈ　ｔｈｒｏｕｇｈ　ｐｒｏｏｆ．

丸善出版
ピーター・Ｂ．アンドリュース　小川原倫子　

• 価格: 6,380円（本体5,800円＋税）
• 発行年月: 1987年12月
• 判型: Ａ５
• ISBN: 9784621032244

内容情報

[BOOKデータベースより]

本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。

１　命題計算
２　第１階の〔述語〕論理
３　証明可能性および論駁可能性
４　第１階の論理のさらに進んだ話題
５　タイプ〔型〕理論
６　形式化された数論
７　不完全性と決定不能性
付録　定理の要約