- 著者：竹内外史，八杉満利子
- 発売日：2010-06-09
- 出版社：共立出版
内容
- （ここには本の中で説明されている内容を記述します）
- 序論
- 第1章 証明の形式化
- 第2章 自然数論の無矛盾性の証明
- 第3章 自然数論の無矛盾性:GÖdelの考察
- 第4章 二階論理
- 第5章 最近の話題
- 演習問題の解答
- 文献
- 索引
特徴
- （文体や説明形式、他の本の中ではあまり説明していないトピックなどを記述します）
- 入門という語の多義性を想ふ．
レベル
- （読むために必要となる前提知識を記述します）
関連する景勝地や講堂
- （もしあれば記述し、該当景勝地や講堂ページへリンクします）