- (1 other version)Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.details
|
|
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.details
|
|
Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.details
|
|
(1 other version)Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.details
|
|
Predicative arithmetic.Edward Nelson - 1986 - Princeton, N.J.: Princeton University Press.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
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
(1 other version)From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajicek - 1995 - New York, NY, USA: Cambridge University Press.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.details
|
|
On Grzegorczyk induction.Ch Cornaros - 1995 - Annals of Pure and Applied Logic 74 (1):1-21.details
|
|
Combinatorial principles in elementary number theory.Alessandro Berarducci & Benedetto Intrigila - 1991 - Annals of Pure and Applied Logic 55 (1):35-50.details
|
|
(2 other versions)Predicative Arithmetic.Pavel Pudlák - 1988 - Journal of Symbolic Logic 53 (3):987-989.details
|
|
Proof Theory and Logical Complexity. [REVIEW]Helmut Pfeifer - 1991 - Annals of Pure and Applied Logic 53 (4):197.details
|
|
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Hilbert'S Program. An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1988 - Tijdschrift Voor Filosofie 50 (4):730-731.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
|
|
Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.details
|
|
X*—Mathematical Intuition.Charles Parsons - 1980 - Proceedings of the Aristotelian Society 80 (1):145-168.details
|
|
(1 other version)Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.details
|
|
Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (2):227-228.details
|
|
Two conceptions of natural number.Alexander George & Daniel J. Velleman - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 311.details
|
|
Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
Proof of some theorems on recursively enumerable sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.details
|
|