Ideas and Results in Proof Theory

This publication has 20 references indexed in Scilit:

• Some applications of Gentzens second consistency proof
  Mathematische Annalen, 1969
• Completeness and Hauptsatz for second order logic1
  Theoria, 1967
• A proof of cut-elimination theorem in simple type-theory
  Journal of the Mathematical Society of Japan, 1967
• Consistency Proofs of Subsystems of Classical Analysis
  Annals of Mathematics, 1967
• Functionals defined by recursion.
  Notre Dame Journal of Formal Logic, 1967
• A note on existential instantiation
  The Journal of Symbolic Logic, 1967
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
  Bulletin of the American Mathematical Society, 1966
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
  Mathematische Annalen, 1950
• Schlußweisen-Kalküle der Prädikatenlogik
  Mathematische Annalen, 1950
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935