関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence). | 教養共5F英語 410.1:W |
2 | Deviant logic : some philosophical issues / Susan Haack. -- Cambridge University Press, 1974. | 工情報 116:H |
3 | Elements of intuitionism / Michael Dummett. -- 2nd ed. -- Clarendon Press, . -- (Oxford logic guides ; 39). | 教養(教養学部棟) 410.9:D |
4 | Empiricism, logic, and mathematics : philosophical papers / Hans Hahn ; edited by Brian McGuinness ; with an introduction by Karl Menger ; , : pbk. -- D. Reidel Pub. Co., c1980. -- (Vienna circle collection ; v. 13). | 図書館(書庫) 134:H |
5 | Husserl and analytic philosophy / Richard Cobb-Stevens. -- Kluwer Academic Publishers, c1990. -- (Phaenomenologica ; 116). | 教養(教養学部棟) 134.9:C |
6 | Intuition, imagination, and philosophical methodology / by Tamar Szabó Gendler. -- Oxford University Press, 2010. | 教養(教養学部棟) 114:G |
7 | Intuition in science and mathematics : an educational approach / Efraim Fischbein. -- D. Reidel, . -- (Mathematics education library). | 教育数学 401:F |
8 | Intuitionism : An introduction / [By] A. Heyting. -- 3rd rev. ed. -- North-Holland, 1971. -- (Studies in logic and the foundations of mathematics). | 図書館(書庫) 410.1:H621i |
9 | Kant's intuitionism : a commentary on the transcendental aesthetic / Lorne Falkenstein ; : paper. -- University of Toronto Press, 2004, c1995. -- (Toronto studies in philosophy). | 教養(教養学部棟) 134.2:F |
10 | Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism / by Tomasz Placek. -- Kluwer Academic Publishers, 1999. -- (Synthese library ; v. 279). | 教養(教養学部棟) 410.1:P |
選択行を:
|