大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:50件
記号論理学 / 加藤浩, 辰己丈夫編著
新訂. - 東京 : 放送大学教育振興会 , 2024.3. - (放送大学教材 ; 1579428-1-2411)
図書
数学教師が教えるやさしい論理学 / 涌井良幸著
東京 : ベレ出版 , 2023.3
論理・確率とマルコフ連鎖 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳
東京 : 丸善出版 , 2015.10. - (初歩からの数学 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳 ; 3)
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
記号論理学 / 加藤浩, 土屋俊著
東京 : 放送大学教育振興会 , 2014.3. - (放送大学教材 ; 1570064-1-1411)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
書簡集 : 付「日記」 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2002.5. - (フレーゲ著作集 / G.フレーゲ著 ; 6)
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
タブローの方法による論理学入門 / 丹治信春著
東京 : 朝倉書店 , 1999.11
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
情報論理学 / 日高達著
東京 : 昭晃堂 , 1997.10. - (情報系教科書シリーズ ; 第2巻)
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
東京 : シュプリンガー・フェアラーク東京 , 1993.10. - (シュプリンガー数学クラシックス)
ゲーデル・不完全性定理 : "理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)