上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA9)
該当件数:47件
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
: hbk. - 3rd ed. - Cham : Springer , c2021. - (Graduate texts in mathematics ; 291)
図書 <1003193870>
A readable introduction to real mathematics / Daniel Rosenthal, David Rosenthal, Peter Rosenthal
: hardcover. - Cham : Springer , c2014. - (Undergraduate texts in mathematics)
図書 <1002717069>
Inleiding tot de wijsbegeerte der wiskunde / door Evert W. Beth
Antwerpen : Standaard-Boekhandel. - Nijmegen : Dekker & Van de Vegt , 1940. - (Philosophische bibliotheek)
図書 <1002683631>
De wijsbegeerte der wiskunde van Parmenides tot Bolzano / door Evert W. Beth
Antwerpen : Standaard-Boekhandel. - Nijmegen : Dekker & Van de Vegt , 1944. - (Philosophische bibliotheek)
図書 <1002683639>
Einführung in die mathematische Logik / von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Darmstadt : Wissenschaftliche Buchgesellschaft , 1978. - (Die Mathematik)
図書 <1000630537>
Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers
New York : Wiley , c2000
図書 <1001254227>
The anatomy of mathematics / by R.B. Kershner [and] L.R. Wilcox
New York : Ronald Press , c1950
図書 <1001361465>
Mathematische Existenz : Untersuchungen zur Logik und Ontologie matematischer Phänomene
2. unveränderte Aufl.. - Tübingen : M. Niemeyer , 1973
図書 <1000650946>
A complete, type-free "second-order" logic and its philosophical foundations / by Christopher Menzel
Stanford, CA : Center for the Study of Language and Information , 1986. - (Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-86-40)
図書 <1000587797>
Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques / par Jean Ladrière
Louvain : E. Nauwelaerts. - Paris : Gauthier-Villars , 1957. - (Collection de logique mathématique. Série B ; 2)
図書 <1002239312>
Introduction to mathematical structures and proofs / Larry J. Gerstein
2nd ed. - New York : Springer , c2012. - (Undergraduate texts in mathematics)
図書 <1002551896>
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / Burt C. Hopkins
: [hardcover]. - Bloomington : Indiana University Press , c2011. - (Studies in Continental thought)
図書 <1002564115>
Philosophie der Arithmetik : psychologische und logische Untersuchungen / von E.G. Husserl
1. Bd. - Halle, Saale : Pfeffer , 1891-
図書 <1002673222>
The philosophy of mathematics : an introductory essay / Stephan Körner
London : Hutchinson , 1960. - (Hutchinson university library ; Philosophy)
図書 <1002683571>
Logik und Sprachphilosophie = Logic and philosophy of language / Matthias Schirn (Hrsg.)
: pbk. - Stuttgart-Bad Cannstatt : Frommann-Holzboog , 1976. - (Problemata ; 43 . Studien zu Frege = Studies on Frege ; 2)
図書 <1001908033>
Estudios sobre semántica / Gottlob Frege ; introducción de Jesús Mosterín ; [traducción castellana de Ulíses Moulines]
2a edición. - Barcelona : Editorial Ariel , 1973. - (Ariel quincenal ; 60)
図書 <1001095329>
How to prove it : a structured approach / Daniel J. Velleman
: pbk. - Cambridge [England] ; New York : Cambridge University , 1994
図書 <1000517065>
Mathematical logic for computer science / M. Ben-Ari
: pbk. - New York : Prentice Hall , 1993. - (Prentice-Hall International series in computer science)
図書 <1000468008>
Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster
Englewood Cliffs, N.J. : Prentice-Hall , c1975
図書 <1001271708>
Gödel's proof / by Ernest Nagel and James R. Newman
: pbk. - [New York] : New York University Press , c1958
図書 <1001271851>