検索キーワード:(件名: #不完全性定理)
該当件数:3件
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 筑摩書房 , 2006.5. - (ちくま学芸文庫 ; [ノ4-1])
図書
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
東京 : 白揚社 , 2008.5
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)