関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | 「論理」を分析する / 八木沢敬著. -- 岩波書店, 2018.1. -- (岩波現代全書 ; 111). | 図書館(閲覧室) 116.3:Y |
2 | 新しい論理序説 / 本橋信義著. -- 朝倉書店, 1997.4. -- (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16). | 図書館(閲覧室) 410.9:M 教養共4F哲学 410.9:M |
3 | アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著. -- 北樹出版, 1995.4. | 教養共4F哲学 116.3:Ta |
4 | アルス・コンビナトリア : 象徴主義と記号論理学 / ジョン・ノイバウアー著 ; 原研二訳. -- ありな書房, 1999.10. | 図書館(閲覧室) 116.3:N |
5 | 応用論理 / 桔梗宏孝著. -- 共立出版, 1996.3. -- (情報数学講座 ; 1). | 理数学 410.9:Ki |
6 | 完全性定理とモデル理論 / 田中一之編. -- 東京大学出版会, 2006.10. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2). | 図書館(閲覧室) 410.9:Ta:2 |
7 | 概念記法 / G.フレーゲ著 ; 藤村龍雄編. -- 勁草書房, 1999.12. -- (フレーゲ著作集 / G.フレーゲ著 ; 1). | 図書館(閲覧室) 410.9:F:1 教養(教養学部棟) 410.9:F:1 |
8 | 記号論理・入門 / 上江洲忠弘著. -- 遊星社, . | 図書館(閲覧室) 410.9:U 理数学 410.9:U |
9 | 記号論理入門 / 金子洋之著. -- 産業図書, 1994.10. -- (哲学教科書シリーズ). | 図書館(閲覧室) 116.3:Ka |
10 | ゲーデルの20世紀 / 田中一之編. -- 東京大学出版会, 2006.7. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1). | 図書館(閲覧室) 410.9:Ta:1 |
選択行を:
|