Functions, Ordinals, Species

This publication has 8 references indexed in Scilit:

• A survey of proof theory
  The Journal of Symbolic Logic, 1968
• An extension of Schütte's Klammersymbols
  Mathematische Annalen, 1967
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
  The Journal of Symbolic Logic, 1966
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics
  Proceedings of Symposia in Pure Mathematics, 1962
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
  The Journal of Symbolic Logic, 1958
• ber Definitionsbereiche von- Funktionen
  Mathematische Annalen, 1927