- Frege, an introduction to his philosophy.Gregory Currie - 1982 - Totowa, NJ: Barnes & Noble.details
|
|
Science Et Methode.Henri Poincaré - 2015 - CreateSpace.details
|
|
Remarks on finitism.William Tait - manuscriptdetails
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
The Philosophy of mathematics today.Matthias Schirn (ed.) - 1998 - New York: Clarendon Press.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford 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
|
|
Hilbert's Finitism and the Notion of Infinity.Karl-Georg Niebergall & Matthias Schirn - 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.details
|
|
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.details
|
|
Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details
|
|
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.details
|
|
Basic Law (V).George Boolos & Peter Clark - 1993 - Aristotelian Society Supplementary Volume 67 (1):213 - 249.details
|
|
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.details
|
|
Frege and Hilbert on Consistency.Patricia A. Blanchette - 1996 - Journal of Philosophy 93 (7):317-336.details
|
|
Grundlagen der Mathematik in geschichtlicher Entwicklung.Oskar Becker - 1990 - Alber.details
|
|
Frege's new science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.details
|
|
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.details
|
|
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
Gödel's Correspondence on Proof Theory and Constructive Mathematics †Charles Parsons read part of an early draft of this review and made important corrections and suggestions.William W. Tait - 2006 - Philosophia Mathematica 14 (1):76-111.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 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. 249--270.details
|
|
Frege in Perspective.Joan Weiner - 2018 - Cornell University Press.details
|
|
Realism bei Frege: Reply to Burge.Joan Weiner - 1995 - Synthese 102 (3):363 - 382.details
|
|
Frege in Perspective. [REVIEW]Michael D. Resnik - 1992 - Philosophical Review 101 (4):893-895.details
|
|
Consistent fragments of grundgesetze and the existence of non-logical objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.details
|
|
On the consistency of the first-order portion of Frege's logical system.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.details
|
|
Deflationism and the gödel phenomena: Reply to Ketland.Neil Tennant - 2005 - Mind 114 (453):89-96.details
|
|
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?Jamie Tappenden - 2000 - Notre Dame Journal of Formal Logic 41 (3):271-315.details
|
|
Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Frege: Importance and Legacy. [REVIEW]Peter M. Sullivan - 2000 - Philosophical Review 109 (4):648.details
|
|
Nachgelassene Schriften.R. H. Stoothoff - 1971 - Philosophical Quarterly 21 (82):77.details
|
|
Gottlob Frege.Hans Dietrich Sluga - 1980 - New York: Routledge.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171 - 227.details
|
|
Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171-227.details
|
|
Frege: importance and legacy.Matthias Schirn (ed.) - 1996 - New York: Walter de Gruyter.details
|
|
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.details
|
|
Frege and the philosophy of mathematics.Michael D. Resnik - 1980 - Ithaca, N.Y.: Cornell University Press.details
|
|
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
On a Consistent Subsystem of Frege's Grundgesetze.John P. Burgess - 1998 - Notre Dame Journal of Formal Logic 39 (2):274-278.details
|
|
The Consistency of predicative fragments of frege's grundgesetze der arithmetik.Richard Heck Jnr - 1996 - History and Philosophy of Logic 17 (1 & 2):209-220.details
|
|
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Metamathematics and Mechanics.Steven French - 2007 - Metascience 16 (3):529-533.details
|
|
Discussions: Chairman's Address: Basic Law V.Michael Dummett - 19934 - Proceedings of the Aristotelian Society 94:243-252.details
|
|