- Beweistheorie.[author unknown] - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Slow versus fast growing.Andreas Weiermann - 2002 - Synthese 133 (1-2):13 - 29.details
|
|
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.details
|
|
Realizability.A. S. Troelstra - 2000 - Bulletin of Symbolic Logic 6 (4):470-471.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Well-Ordering Proofs for Martin-Löf Type Theory.Anton Setzer - 2000 - Bulletin of Symbolic Logic 6 (4):478-479.details
|
|
Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.details
|
|
Extending Martin-Löf Type Theory by one Mahlo-universe.Anton Setzer - 2000 - Archive for Mathematical Logic 39 (3):155-181.details
|
|
Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.details
|
|
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals.Michael Rathjen - 1993 - Mathematical Logic Quarterly 39 (1):47-54.details
|
|
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.details
|
|
Subsystems of set theory and second order number theory.Wolfram Pohlers - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 137--209.details
|
|
Subsystems of Set Theory and Second-Order Number Theory.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.details
|
|
Pure proof theory aims, methods and results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.details
|
|
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.details
|
|
The proof-theoretic analysis of transfinitely iterated fixed point theories.Gerhard JÄger, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.details
|
|
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.details
|
|
A well-ordering proof for Feferman's theoryT 0.Gerhard Jäger - 1983 - Archive for Mathematical Logic 23 (1):65-77.details
|
|
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.details
|
|
Explaining the Gentzen–Takeuti reduction steps: a second-order system.Wilfried Buchholz - 2001 - Archive for Mathematical Logic 40 (4):255-272.details
|
|
Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.details
|
|
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.details
|
|
The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.details
|
|
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings.Akihiro Kanamori - 2003 - Springer.details
|
|
Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.details
|
|
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.details
|
|
Theories for admissible sets: a unifying approach to proof theory.Gerhard Jäger - 1986 - Napoli: Bibliopolis.details
|
|
Logical frameworks for truth and abstraction: an axiomatic study.Andrea Cantini (ed.) - 1996 - New York: Elsevier Science B.V..details
|
|
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.details
|
|
How is It That Infinitary Methods can be Applied to Finitary Mathematics? Godel's T: A Case Study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.details
|
|
Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.details
|
|
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.details
|
|
A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90--1133.details
|
|