Search Local DataBase.
Search CiNii Books.
Search CiNii.
Search NDL.
Search keyword:(Standard classification: 410.96)
Results:7items
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
Books
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
不完全性定理 / ゲーデル著 ; 林晋
東京 : 岩波書店 , 2006.9.15. - (岩波文庫)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎 著
東京 : 講談社 , 2001.5.28. - (講談社現代新書)
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
東京 : 白揚社 , 1999.3
線型論理入門 / 竹内外史 著
東京 : 日本評論社 , 1995.1