Search Local DataBase.
Search CiNii Books.
Search CiNii.
Search NDL.
Search keyword:(Subject: #記号論理学)
Results:12items
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
Books
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
論理哲学論考 / ヴィトゲンシュタイン著 ; 丘沢静也訳
東京 : 光文社 , 2014.1. - (光文社古典新訳文庫 ; [KBウ1-1])
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
不完全性定理 / ゲーデル著 ; 林晋
東京 : 岩波書店 , 2006.9.15. - (岩波文庫)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正 著
東京 : 講談社 , 2003.5.20. - (ブルーバックス)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎 著
東京 : 講談社 , 2001.5.28. - (講談社現代新書)
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
東京 : 白揚社 , 1999.3
ウィトゲンシュタイン全集 : 論理哲学論考,他 / ウィトゲンシュタイン 著 ; 奥雅博 訳
1. - 東京 : 大修館書店 , 1998.1.20
新しい論理序説 / 本橋信義 著
16. - 東京 : 朝倉書店 , 1997.4.1. - (すうがくぶっくす)
形式論理学 : その展望と限界 / リチャード・ジェフリー 著 ; 戸田山和久 訳
東京 : 産業図書 , 1995.3
線型論理入門 / 竹内外史 著
東京 : 日本評論社 , 1995.1