CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Gödel Kurt 1906-1978)
該当件数:4件
ノイマン・ゲーデル・チューリング / 高橋昌一郎著
東京 : 筑摩書房 , 2014.10. - (筑摩選書 ; 0102)
図書
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11