Towards A Foundation of A General Proof Theory

This publication has 8 references indexed in Scilit:

• Notes on intuitionistic second order arithmetic
  Published by Springer Nature ,1973
• Hauptsatz for higher order logic
  The Journal of Symbolic Logic, 1968
• 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
• Intensional interpretations of functionals of finite type I
  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
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935