ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #不完全性定理)
該当件数:10件
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
東京 : 東京大学出版会 , 2012.4
図書 [BB09016521]
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 筑摩書房 , 2006.5. - (ちくま学芸文庫 ; ノ4ー1)
図書
不完全性定理 / 菊池誠著
東京 : 共立出版 , 2014.10
図書 [BB16913681]
スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
改訳版. - 東京 : 丸善出版 , 2019.12
図書 [BB29564246]
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
図書 [BB0525845X]
ゲーデル不完全性発見への道 / 北田均著
京都 : 現代数学社 , 2011.5. - (大数学者の数学 ; 6)
図書 [BB05936244]
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2014.11
図書 [BB17431416]
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
東京 : 日本評論社 , 2019.12
図書 [BB29552145]
スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問 / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 2007.12
不完全性定理と算術の体系
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 3)
