Call Number (LC) Title Results
QA9 .H8 Philosophie der Arithmetik. : Psychologische und logische untersuchungen / 1
QA9 .H813 2003 Philosophy of arithmetic : psychological and logical investigations with supplementary texts from 1887-1901 / 1
QA9 .H83 1998 The diagonal infinity : problems of multiple scales / 1
QA9 .I46 2011 Infinity : New Research Frontiers. 2
QA9 .I46 2011eb Infinity : new research frontiers / 1
QA9 .I5 1957 Constructivity in Mathematics : proceedings / 1
QA9 .I53 1965 Problems in the philosophy of mathematics / 1
QA9 .I53 1965eb Problems in the philosophy of mathematics 1
QA9 I54 1968 Mathematical logic and foundations of set theory. : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / 1
QA9 .I55 1967 Applications of model theory to algebra, analysis, and probability / 1
QA9 .I813 Studies in constructive mathematics and mathematical logic / 1
QA9 .J27 1999 Categorical logic and type theory / 1
QA9 .J27 1999eb Categorical logic and type theory 1
QA9 .J45 1966 Essays on the foundations of mathematics. : Dedicated to A. A. Fraenkel on his seventieth anniversary / 1
QA9 .J45 1966a Essays on the foundations of mathematics. : Dedicated to A. A. Fraenkel on his seventieth anniversary / 1
QA9 .J63 1998 Elements of logic via numbers and sets / 2
QA9 .J64 1987eb Notes on logic and set theory / 1
QA9 .K225 2004 A modern perspective on type theory : from its origins until today / 2
QA9 .K24 A philosophy of mathematics. 1
QA9 .K29 2013 Distilling ideas : an introduction to mathematical thinking / 1