- (1 other version)Philosophy of Mathematics.Stewart Shapiro - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of science today. New York: Oxford University Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
(1 other version)Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.details
|
|
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
Is the axiom of choice a logical or set-theoretical principle?Jaako Hintikka - 1999 - Dialectica 53 (3-4):283–290.details
|
|
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.details
|
|
(1 other version)Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford, England: Oxford University Press USA.details
|
|
The Road to Modern Logic—An Interpretation.Jos\'E. Ferreir\'os - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.details
|
|
Is the Axiom of Choice a Logical or Set‐Theoretical Principle?Jaako Hintikka - 1999 - Dialectica 53 (3-4):283-290.details
|
|
(1 other version)Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|
Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1973 - Atlantic Highlands, NJ, USA: Elsevier.details
|
|
(1 other version)Philosophy of Mathematics and Natural Science.Hermann Weyl & Olaf Helmer - 1951 - British Journal for the Philosophy of Science 2 (7):257-260.details
|
|
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.details
|
|
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.details
|
|
(1 other version)Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
From Frege to Gödel.Jean van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Believing the axioms. II.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (3):736-764.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.details
|
|
Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.details
|
|
(1 other version)Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Walker Tait - 2004 - Oxford, England: Oup Usa.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1998 - Springer Verlag.details
|
|
Second-order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
(2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.details
|
|
[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
(1 other version)Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History.William Tait - 2006 - Bulletin of Symbolic Logic 12 (4):608-611.details
|
|
(1 other version)Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.details
|
|
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.details
|
|
(2 other versions)Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton, N.J.: Princeton University Press. Edited by Olaf Helmer-Hirschberg & Frank Wilczek.details
|
|
(1 other version)Taming the Infinite1. [REVIEW]Michael Potter - 1996 - British Journal for the Philosophy of Science 47 (4):609-619.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
Reflections on Skolem's relativity of set-theoretical concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.details
|
|
Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.details
|
|
Foundations Without Foundationalism: A Case for Second-Order Logic.Michael Potter - 1994 - Philosophical Quarterly 44 (174):127-129.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
(1 other version)Understanding the infinite.Shaughan Lavine - 1994 - Cambridge: Harvard University Press.details
|
|
(1 other version)Understanding the Infinite.Shaughan Lavine - 1994 - Cambridge, Mass.: Harvard University Press.details
|
|
Tool and Object: A History and Philosophy of Category Theory.Ralf Krömer - 2009 - Bulletin of Symbolic Logic 15 (3):320-322.details
|
|
(2 other versions)In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.details
|
|
Higher-order logic reconsidered.Ignasi Jané - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 781--810.details
|
|
(2 other versions)Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.details
|
|
(1 other version)Philosophy of Mathematics and Natural Science.H. Weyl & Olaf Helmar - 1951 - Science and Society 15 (1):85-88.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
(1 other version)[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.details
|
|