Lectures on proof theory

This publication has 39 references indexed in Scilit:

• Systems of predicative analysis, II: Representations of ordinals
  The Journal of Symbolic Logic, 1968
• Some applications of infinitely long formulas
  The Journal of Symbolic Logic, 1965
• A hierarchy of formulas in set theory
  Memoirs of the American Mathematical Society, 1965
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
  Archive for Mathematical Logic, 1964
• Untersuchungen zur mehrsortigen Quantorenlogik
  Mathematische Annalen, 1962
• An interpolation theorem in the predicate calculus
  Pacific Journal of Mathematics, 1959
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931
• Über das Unendliche
  Mathematische Annalen, 1926