- From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.details
|
|
Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In William Demopoulos (ed.), Frege's philosophy of mathematics. Cambridge: Harvard University Press.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
Logic, Logic, and Logic.George Boolos - 2000 - History and Philosophy of Logic 21 (3):223-229.details
|
|
Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.details
|
|
A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.details
|
|
Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu. [REVIEW]Ww Tait - 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. 469.details
|
|
From Mathematics to Philosophy.Alan Treherne - 1975 - Philosophical Quarterly 25 (99):176-178.details
|
|
Hao Wang, A Logical Journey: From Gödel to Philosophy. [REVIEW]Sanford Shieh - 2000 - Erkenntnis 52 (1):109-115.details
|
|
Dedekind’s Analysis of Number: Systems and Axioms.Wilfried Sieg & Dirk Schlimm - 2005 - Synthese 147 (1):121-170.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
The theory of classes A modification of von Neumann's system.Raphael M. Robinson - 1937 - Journal of Symbolic Logic 2 (1):29-36.details
|
|
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.details
|
|
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory.Michael Rathjen - 2005 - Annals of Pure and Applied Logic 136 (1-2):156-174.details
|
|
Platonism and aristotelianism in mathematics.Richard Pettigrew - 2008 - Philosophia Mathematica 16 (3):310-332.details
|
|
What does it take to prove fermat's last theorem? Grothendieck and the logic of number theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.details
|
|
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.details
|
|
Slim models of zermelo set theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.details
|
|
A note on the schemes of replacement and collection.A. R. D. Mathias - 2007 - Archive for Mathematical Logic 46 (1):43-50.details
|
|
On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.details
|
|
Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
On Ackermann's Set Theory.Rudolf Grewe - 1966 - Dissertation, University of California, Los Angelesdetails
|
|
Replacement and collection in intuitionistic set theory.Nicolas D. Goodman - 1985 - Journal of Symbolic Logic 50 (2):344-348.details
|
|
Higher set theory and mathematical practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.details
|
|
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.details
|
|
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.details
|
|