関連資料一覧:(本学所蔵)
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | 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 | 中央5階洋 007.1||L 49||230 |
2 | ![書影](https://cover.openbd.jp/9784842914114.jpg) | 21世紀の論理 | 中央図書館 | 大窪徳行, 和田和行編著, 江川晃 [ほか著] | 八千代出版 | 2007 | 中央3階 116||N 73 |
3 | ![書影](../Images/noimage.png) | 意味論序説 | 中央図書館 鶴川図書館 | ルドルフ・カルナップ著, 遠藤弘訳 | 紀伊国屋書店 | 1975 | 中央5階 801.4||C 19 鶴川3階 801.4||C 19 |
4 | ![書影](../Images/noimage.png) | 記号理論の基礎 ( 双書プロブレーマタ ; 9 ) | 鶴川図書館 | Ch. W. モリス著, 内田種臣, 小林昭世訳 | 勁草書房 | 1988 | 鶴川2階 116.3||Mo 78 |
5 | ![書影](https://cover.openbd.jp/9784480098245.jpg) | 記号論 ( ちくま学芸文庫 ; [ヨ-16-2] ) | 中央図書館 鶴川図書館 | 吉田夏彦著 | 筑摩書房 | 2017 | 中央1階 鶴川2階 |
6 | ![書影](../Images/noimage.png) | 記号論の基礎原理 | 中央図書館 | ユルゲン・トラバント著, 谷口勇訳 | 南江堂 | 1979 | 中央5階 801||Tr 1 |
7 | ![書影](../Images/noimage.png) | 記号論理学 | 中央図書館 | 山本新, 入江俊夫, 田村高幸著 | 朝倉書店 | 2023 | 中央5階 410.96||Y 31 |
8 | ![書影](https://cover.openbd.jp/9784130120180.jpg) | 記号論理学 | 中央図書館 研究所 | 清水義夫著 | 東京大学出版会 | 1984 | 中央3階 116.3||Sh 49 政大院研 410.96||Sh 49 |
9 | ![書影](../Images/noimage.png) | 記号論理学 | 中央図書館 | 斎藤晢郎著 | 理想社 | 1964 | 中央3階 116||Sa 25 |
10 | ![書影](../Images/noimage.png) | 記号論理学 | 鶴川図書館 | 斎藤晢郎著 | 理想社 | 1987 | 鶴川2階 116.3||Sa 25 |
選択行を:
|