検索キーワード：(標準分類: 410.96)
該当件数:30件
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
図書
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
フレーゲ哲学の最新像 / ダメット [ほか著] ; 岡本賢吾, 金子洋之編
東京 : 勁草書房 , 2007.2. - (双書現代哲学 ; 5)
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
フレーゲの哲学 / アンソニー・ケニー [著] ; 野本和幸 [ほか]訳
東京 : 法政大学出版局 , 2001.3. - (叢書・ウニベルシタス ; 721)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
総合的研究論理学で学ぶ数学 : 思考ツールとしてのロジック / 長岡亮介著
[東京] : 旺文社 , [2017.5]
フレーゲ哲学の全貌 : 論理主義と意味論の原型 / 野本和幸著
東京 : 勁草書房 , 2012.9
論理学 / 吉田夏彦著
東京 : 培風館 , 1958.4. - (新数学シリーズ / 吉田洋一監修 ; 10)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
東京 : 白水社 , 1959. - (文庫クセジュ ; 257)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
