A Survey of Proof Theory II

This publication has 10 references indexed in Scilit:

• The Collected Papers of Gerhard Gentzen
  The Journal of Philosophy, 1971
• Liberal intuitionism as a basis for set theory
  Proceedings of Symposia in Pure Mathematics, 1971
• Formal systems for some branches of intuitionistic analysis
  Annals of Mathematical Logic, 1970
• Constructive validity
  Published by Springer Nature ,1970
• Mengeninduktion und Fundierungsaxiom
  Archive for Mathematical Logic, 1969
• Two notes on the foundations of set-theory
  Dialectica, 1969
• 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
• Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variablen abhängig sind
  Colloquium Mathematicum, 1957
• On the Forms of the Predicates in the Theory of Constructive Ordinals
  American Journal of Mathematics, 1944