関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 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 | Language and materialism : developments in semiology and the theory of the subject / Rosalind Coward and John Ellis ; , : pbk. -- Routledge and Paul, 1977. | 図書館(書庫) 801:C |
| 4 | 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 |
| 5 | 21世紀の論理 / 大窪徳行, 和田和行編著 ; 江川晃 [ほか著]. -- 八千代出版, 2007.3. | 図書館(閲覧室) 116:O |
| 6 | アルス・コンビナトリア : 象徴主義と記号論理学 / ジョン・ノイバウアー著 ; 原研二訳. -- ありな書房, 1999.10. | 図書館(閲覧室) 116.3:N |
| 7 | いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著. -- ミネルヴァ書房, 1981.2. | 図書館(閲覧室) 410.9:U
理数学 410.9:U |
| 8 | 一般記号学 : パース理論の展開と応用 / エリーザベト・ヴァルター著 ; 向井周太郎他訳. -- 勁草書房, 1987.12. | 図書館(閲覧室) 801:cW |
| 9 | 意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳. -- 復刊版. -- 紀伊國屋書店, 2003.6. | 教養共５Ｆ仏語 116:C |
| 10 | 意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳. -- 紀伊国屋書店, 1975.8. | 図書館(上原文庫) 801:cC |
選択行を：
|