- Some considerations on arithmetical truth and the co-rule.Daniel Isaacson - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 94.details
|
|
Constructive existence claims.Michael Detlefsen - 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. 1998--307.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
|
|
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
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.details
|
|
Fragments of Arithmetic.Wilfried Sieg - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.details
|
|
The Philosophy of mathematics today.Matthias Schirn (ed.) - 1998 - New York: Clarendon Press.details
|
|
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.details
|
|
Book Review:Encyclopedia of Philosophy. [REVIEW]Leonard Linsky - 1970 - Ethics 80 (4):322-.details
|
|
Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Proof Theory and Logical Complexity. [REVIEW]Helmut Pfeifer - 1991 - Annals of Pure and Applied Logic 53 (4):197.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
On interpreting Gödel's second theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.details
|
|
Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.details
|
|
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.details
|
|
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.details
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.details
|
|
Metamathematics of First-Order Arithmetic.Petr Hajek & Pavel Pudlak - 1998 - Springer Verlag.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
The Philosophy of Mathematics Today.Matthias Schirn - 2000 - Tijdschrift Voor Filosofie 62 (1):180-181.details
|
|
The Philosophy of Mathematics Today.M. Schirn - 2000 - Studia Logica 64 (1):146-146.details
|
|
Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.details
|
|