東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #ゲーデルの定理)
該当件数:9件
数学基礎論 : ゲーデルの不完全性定理 / 隈部正博著
改訂版. - 東京 : 放送大学教育振興会 , 1999.3. - (放送大学教材 ; 56087-1-9911)
図書
数学基礎論 : Gödelの完全性定理 / 隈部正博著
東京 : 放送大学教育振興会 , 1995.3. - (放送大学教材 ; 56549-1-9511)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 日本評論社 , 1996.9. - (たのしいすうがく ; 2)
スマリヤン不完全性定理 / Raymond Smullyan [著] ; 川辺治之, 村上祐子訳
改訳版. - 東京 : 丸善出版 , 2019.12
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
理性の限界 : 不可能性・不確定性・不完全性 / 高橋昌一郎著
東京 : 講談社 , 2008.6. - (講談社現代新書 ; 1948)