CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #ゲーデルの定理)
該当件数:5件
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
図書
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)