- A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.details
|
|
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Bolzano and Cournot on mathematical explanation / Bolzano et Cournot à propos de l'explication mathématique.Paolo Mancosu - 1999 - Revue d'Histoire des Sciences 52 (3):429-456.details
|
|
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.details
|
|
Philosophical Papers: Volume 1, Mathematics, Matter and Method.Hilary Putnam (ed.) - 1979 - New York: Cambridge University Press.details
|
|
The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1960 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.details
|
|
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.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
|
|
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscriptdetails
|
|
The metamathematics of ergodic theory.Jeremy Avigad - 2009 - Annals of Pure and Applied Logic 157 (2-3):64-76.details
|
|
Book review. The taming of the true Neil Tennant. [REVIEW]Peter Milne - 2001 - Mind 110 (438):569-577.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.details
|
|
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.details
|
|
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
The prime number theorem and fragments ofP A.C. Cornaros & C. Dimitracopoulos - 1994 - Archive for Mathematical Logic 33 (4):265-281.details
|
|
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.details
|
|