Wilfried Buchholz

1948

• Iterated inductive definitions and subsystems of analysis
• Iterated Inductive Definitions and Subsystems of Analysis
• Proof theory of impredicative subsystems of analysis
• Rousseau und Althusius