本学の資料検索ができます。電子体にはリンクが付いています。
国内雑誌記事・学術論文を検索できます。
他大学蔵書を検索できます。
国立国会図書館の蔵書を検索できます。
国内の機関リポジトリを検索できます。※博士論文、大学紀要等、CiNii Articles で本文が引っかからない場合、こちらで検索してみてください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:7件
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
図書
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
数学基礎論 : ゲーデルの不完全性定理 / 隈部正博著
改訂版. - 東京 : 放送大学教育振興会 , 1999.3. - (放送大学教材 ; 56087-1-9911)