CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Gödel Kurt)
該当件数:6件
クルト・ゲーデル : 史上最もスキャンダラスな定理を証明した男 / スティーブン・ブディアンスキー著 ; 渡会圭子訳
東京 : 森北出版 , 2023.2
図書
ノイマン・ゲーデル・チューリング / 高橋昌一郎著
東京 : 筑摩書房 , 2014.10. - (筑摩選書 ; 0102)
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8