関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 230). | 図書館(書庫) 007.1:I |
| 2 | From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 271). | 理数学 007.6:S |
| 3 | An outline of set theory / James M. Henle ; : U.S., : Germany. -- Springer-Verlag, c1986. -- (Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos). | 教育数学 410.9:H |
| 4 | 21世紀の論理 / 大窪徳行, 和田和行編著 ; 江川晃 [ほか著]. -- 八千代出版, 2007.3. | 図書館(閲覧室) 116:O |
| 5 | アルス・コンビナトリア : 象徴主義と記号論理学 / ジョン・ノイバウアー著 ; 原研二訳. -- ありな書房, 1999.10. | 図書館(閲覧室) 116.3:N |
| 6 | いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著. -- ミネルヴァ書房, 1981.2. | 図書館(閲覧室) 410.9:U
理数学 410.9:U |
| 7 | 意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳. -- 復刊版. -- 紀伊國屋書店, 2003.6. | 図書館(書庫) 116:C |
| 8 | 意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳. -- 紀伊国屋書店, 1975.8. | 図書館(上原文庫) 801:cC |
| 9 | うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳. -- 産業図書, 1992.5. | 図書館(書庫) 116.3:cB
教養５Ｆ言語学 116.3:cB
教養（教養学部棟） 116.3:cB |
| 10 | 応用論理 / 桔梗宏孝著. -- 共立出版, 1996.3. -- (情報数学講座 ; 1). | 理数学 410.9:Ki |
選択行を：
|