- (1 other version)Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
(2 other versions)The Foundations of Arithmetic. A Logico-Mathematical Enquiry into the Concept of Number.Max Black - 1951 - Journal of Symbolic Logic 16 (1):67-67.details
|
|
Finitude and Hume’s Principle.Richard G. Heck - 1997 - Journal of Philosophical Logic 26 (6):589-617.details
|
|
Frege’s Conception of Numbers as Objects.Crispin Wright - 1983 - Critical Philosophy 1 (1):97.details
|
|
Frege and the Paradox of Analysis.Michael Dummett - 1991 - In Frege and Other Philosophers. Oxford, England: Oxford University Press UK.details
|
|
Frege’s Philosophy of Mathematics. [REVIEW]Sanford Shieh - 1997 - Philosophical Review 106 (2):275.details
|
|
Mathematics in Philosophy, Selected Essays.Stewart Shapiro - 1983 - Journal of Symbolic Logic 53 (1):320.details
|
|
The Philosophy of Philosophy.Timothy Williamson - 2007 - Malden, MA: Wiley-Blackwell.details
|
|
(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
|
|
The Logicism of Frege, Dedekind, and Russell.William Demopoulos & Peter Clark - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 129--165.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan. pp. 263--299.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Cardinality, Counting, and Equinumerosity.Richard G. Heck - 2000 - Notre Dame Journal of Formal Logic 41 (3):187-209.details
|
|
The Structure of Appearance.Nelson Goodman - 1951 - Cambridge, MA, USA: Harvard University Press.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1968 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.details
|
|
The reason's proper study: essays towards a neo-Fregean philosophy of mathematics.Crispin Wright & Bob Hale - 2001 - Oxford: Clarendon Press. Edited by Crispin Wright.details
|
|
Mathematics as a science of patterns.Michael David Resnik - 1997 - New York ;: Oxford University Press.details
|
|
Accuracy and actuality.G. Hellman - 1978 - Erkenntnis 12 (2):209 - 228.details
|
|
(1 other version)Conceptual truth.Timothy Williamson - 2006 - Aristotelian Society Supplementary Volume 80 (1):1–41.details
|
|
Mathematics as a science of patterns: Ontology and reference.Michael Resnik - 1981 - Noûs 15 (4):529-550.details
|
|
(1 other version)Fixing Frege.John P. Burgess - 2005 - Princeton University Press.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
On the proof of Frege's theorem.George Boolos - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 143--59.details
|
|
Frege's theorem.Richard G. Heck - 2011 - New York: Clarendon Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1998 - Springer Verlag.details
|
|
Frege: The Last Logicist.Paul Benacerraf - 1981 - Midwest Studies in Philosophy 6 (1):17-36.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
Abstract objects.Bob Hale - 1987 - New York, NY, USA: Blackwell.details
|
|
Ontological reduction and the world of numbers.W. V. Quine - 1964 - Journal of Philosophy 61 (7):209-216.details
|
|
(1 other version)Three Grades of Modal Involvement.W. V. Quine - 1976 - In Willard Van Orman Quine (ed.), The ways of paradox, and other essays. Cambridge: Harvard University Press. pp. 158-176.details
|
|
(1 other version)Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
Abstract Objects.John P. Burgess - 1992 - Philosophical Review 101 (2):414.details
|
|
(1 other version)The Foundations of Arithmetic. A Logico-Mathematical Enquiry into the Concept of Number. [REVIEW]E. N. - 1951 - Journal of Philosophy 48 (10):342.details
|
|
On definitional equivalence and related topics.J. Corcoran - 1980 - History and Philosophy of Logic 1:231.details
|
|
Frege’s Conception of Logic.Patricia Blanchette - 2012 - Oxford, England: Oup Usa.details
|
|
(1 other version)Where do the natural numbers come from?Harold T. Hodes - 1990 - Synthese 84 (3):347-407.details
|
|
(1 other version)Reals by Abstraction.Bob Hale - 2000 - Philosophia Mathematica 8 (2):100--123.details
|
|
John P. Burgess, Fixing Frege. [REVIEW]Pierre Swiggers - 2006 - Tijdschrift Voor Filosofie 68 (3):665-665.details
|
|
(2 other versions)A Mathematical Introduction to Logic.J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.details
|
|
(1 other version)Is Hume's Principle Analytic?Crispin Wright - 1999 - Notre Dame Journal of Formal Logic 40 (1):6-30.details
|
|
(1 other version)Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.details
|
|
On the harmless impredicativity of N=('Hume's Principle').Crispin Wright - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 339--68.details
|
|
Quasi finitely axiomatizable totally categorical theories.Gisela Ahlbrandt & Martin Ziegler - 1986 - Annals of Pure and Applied Logic 30 (1):63-82.details
|
|
Frege's theory of numbers.Charles Parsons - 1964 - In Max Black (ed.), Philosophy in America. Ithaca: Routledge. pp. 180-203.details
|
|
Frege's philosophy of mathematics.William Demopoulos (ed.) - 1995 - Cambridge: Harvard University Press.details
|
|
Mathematics in philosophy: selected essays.Charles Parsons - 1983 - Ithaca, N.Y.: Cornell University Press.details
|
|