検索キーワード:(件名: #記号論理学)
該当件数:47件
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
図書
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
記号論理学 : 述語論理 / 井関清志著
東京 : 槙書店 , 1973. - (数学選書)
論理と情報の世界 / 中井浩, 高野守正著
東京 : ダイヤモンド社 , 1970.8
現代論理学の基礎 : 推理と分析の論理 / 永井成男著
東京 : 有信堂 , 1964.9
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)
記号論理学 / 藤川吉美著
: 新装新版. - 東京 : 大竹出版 , 1995.4
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
記号論理読本 / 前原昭二著
東京 : 日本評論社 , 1976.8
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
論理哲学論考 / ヴィトゲンシュタイン著 ; 丘沢静也訳
東京 : 光文社 , 2014.1. - (光文社古典新訳文庫 ; [KBウ1-1])
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)