関連資料一覧：（本学所蔵）
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 230 ) | 中央図書館 | edited by Jörg H. Siekmann | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||230 |
| 2 |  | 21世紀の論理 | 中央図書館 | 大窪徳行, 和田和行編著, 江川晃 [ほか著] | 八千代出版 | 2007 | 中央３階 116||N 73 |
| 3 | | 意味論序説 | 中央図書館
鶴川図書館 | ルドルフ・カルナップ著, 遠藤弘訳 | 紀伊国屋書店 | 1975 | 中央５階 801.4||C 19
鶴川３階 801.4||C 19 |
| 4 | | 記号理論の基礎 ( 双書プロブレーマタ ; 9 ) | 鶴川図書館 | Ch. W. モリス著, 内田種臣, 小林昭世訳 | 勁草書房 | 1988 | 鶴川２階 116.3||Mo 78 |
| 5 |  | 記号論 ( ちくま学芸文庫 ; [ヨ-16-2] ) | 中央図書館
鶴川図書館 | 吉田夏彦著 | 筑摩書房 | 2017 | 中央１階
鶴川２階 |
| 6 | | 記号論の基礎原理 | 中央図書館 | ユルゲン・トラバント著, 谷口勇訳 | 南江堂 | 1979 | 中央５階 801||Tr 1 |
| 7 | | 記号論理学 | 中央図書館 | 山本新, 入江俊夫, 田村高幸著 | 朝倉書店 | 2023 | 中央５階 410.96||Y 31 |
| 8 |  | 記号論理学 | 中央図書館
研究所 | 清水義夫著 | 東京大学出版会 | 1984 | 中央３階 116.3||Sh 49
政大院研 410.96||Sh 49 |
| 9 | | 記号論理学 | 中央図書館 | 斎藤晢郎著 | 理想社 | 1964 | 中央３階 116||Sa 25 |
| 10 | | 記号論理学 | 鶴川図書館 | 斎藤晢郎著 | 理想社 | 1987 | 鶴川２階 116.3||Sa 25 |
選択行を：
|