関連資料一覧：（本学所蔵）
検索条件
シリーズ名：Oxford logic guides
選択行を：
| 資料名 | 所在 |
| 1 | Algebraic methods in philosophical logic / J. Michael Dunn and Gary M. Hardegree. -- Clarendon Press, . -- (Oxford logic guides ; 41). | 教養共４Ｆ哲学 410.9:D |
| 2 | Elements of intuitionism / Michael Dummett. -- 2nd ed. -- Clarendon Press, . -- (Oxford logic guides ; 39). | 教養（教養学部棟） 410.9:D |
| 3 | Model theory / María Manzano ; translated by Ruy J.G.B. de Queiroz. -- Clarendon Press, 1999. -- (Oxford logic guides ; 37). | 教養共４Ｆ哲学 410.9:M |
| 4 | Modal logic / Alexander Chagrov and Michael Zakharyaschev. -- Clarendon Press, . -- (Oxford logic guides ; 35). | 図書館(書庫) 410.9:C |
| 5 | Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting. -- Clarendon Press, . -- (Oxford logic guides ; 34). | 図書館(閲覧室) 410.9:F
教養共４Ｆ哲学 410.9:F |
| 6 | Elementary categories, elementary toposes / Colin McLarty ; : pbk. -- Clarendon Press, . -- (Oxford logic guides ; 21)(Oxford science publications). | 教養共４Ｆ哲学 410.1:M |
| 7 | Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson and Mark Reynolds ; v. 1, v. 2. -- Clarendon Press, . -- (Oxford logic guides ; 28, 40). | 工情報 410.9:G:1
教養共４Ｆ哲学 410.9:G:1
教養共４Ｆ哲学 410.9:G:2 |
| 8 | Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski. -- 4th ed. / edited by Jan Tarski. -- Oxford University Press, 1994. -- (Oxford logic guides ; 24). | 教養共４Ｆ哲学 410.1:T |
| 9 | Diagonalization and self-reference / Raymond M. Smullyan. -- Clarendon Press, 1994. -- (Oxford logic guides ; 27). | 教養共４Ｆ哲学 410.1:S |
| 10 | Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall ; v. 1. -- Clarendon Press, . -- (Oxford logic guides ; 30). | 工情報 007.1:S |
選択行を：
|