- Set Theory: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.details
|
|
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.details
|
|
The meaning of category theory for 21st century philosophy.Alberto Peruzzi - 2006 - Axiomathes 16 (4):424-459.details
|
|
(1 other version)Foundations of mathematics for the working mathematician.N. Bourbaki - 1949 - Journal of Symbolic Logic 14 (1):1-8.details
|
|
Labyrinth of Thought. A history of set theory and its role in modern mathematics.Jose Ferreiros - 2001 - Basel, Boston: Birkhäuser Verlag.details
|
|
The Foundations of Mathematics.David Hilbert - 1927 - In ¸ Itevanheijenoort1967. Harvard University Press.details
|
|
Hilbert's ɛ-operator and classical logic.J. L. Bell - 1993 - Journal of Philosophical Logic 22 (1):1 - 18.details
|
|
(1 other version)Principles of Mathematical Logic.D. Hilbert, W. Ackermann & Robert E. Luce - 1952 - Philosophy 27 (103):375-376.details
|
|
(1 other version)Foundations of Mathematics for the Working Mathematician.N. Bourbaki - 1950 - Journal of Symbolic Logic 14 (4):258-259.details
|
|
General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.details
|
|
Théorie des Ensembles.N. Bourbaki - 1946 - Journal of Symbolic Logic 11 (3):91-91.details
|
|
Tool and Object: A History and Philosophy of Category Theory.Ralf Krömer - 2009 - Bulletin of Symbolic Logic 15 (3):320-322.details
|
|
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.details
|
|
Nicolas Bourbaki and the concept of mathematical structure.Leo Corry - 1992 - Synthese 92 (3):315 - 348.details
|
|
Some proposals for the set-theoretic foundations of category theory.Lorenzo Malatesta - 2011 - Rivista Italiana di Filosofia Analitica Junior 2 (2):41-58.details
|
|
La lógica matemática: una disciplina en busca de encuadre.José Ferreirós - 2010 - Theoria 25 (3):279-299.details
|
|
Foundations of Unlimited Category Theory: What Remains to Be Done.Solomon Feferman - 2013 - Review of Symbolic Logic 6 (1):6-15.details
|
|
Hilbert's epsilon as an operator of indefinite committed choice.Claus-Peter Wirth - 2008 - Journal of Applied Logic 6 (3):287-317.details
|
|
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.details
|
|
Sur le Fondement Logique des Mathematiques.Henri Cartan - 1946 - Journal of Symbolic Logic 11 (3):91-92.details
|
|
Theorie des Ensembles.N. Bourbaki - 1959 - Journal of Symbolic Logic 24 (1):71-73.details
|
|
Zermelo's Axiom of Choice. Its Origins, Development, and Influence.Gregory H. Moore - 1984 - Journal of Symbolic Logic 49 (2):659-660.details
|
|
Some Remarks on Axiomatised Set Theory.Thoraf Skolem - 1922 - In J. Van Heijenoort (ed.), ¸ Iteheijenoort. Harvard University Press. pp. 290--301.details
|
|
Hilbert et la notion d'existence en mathématiques.Jacqueline Boniface - 2004 - Vrin.details
|
|
Hilbert’s Epsilon Calculus and its Successors.B. H. Slater - 2009 - In ¸ Itegabbay2009. Elsevier. pp. 385--448.details
|
|
Bourbaki: Towards a Philosophy of Modern Mathematics.Joong Fang - 1970 - Paideia.details
|
|
Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317.details
|
|
Foundations of Category Theory: What Remains to Be Done.Solomon Feferman - unknowndetails
|
|
Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.details
|
|
De la determinación del infinito a la inaccesibilidad en los cardinales transfinitos.J. Alvarez - 1994 - Critica 26 (78):27-72.details
|
|