数理論理学 (現代基礎数学)作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見る目次を見ると、完全性定理と不完全性定理とカット除去定理が三つとも載っているようです。…

数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2009/10/24メディア: 単行本購入: 37人 クリック: 930回この商品を含むブログ (149件) を見るネタバレにならないよう努力して書きましたが…