Title: Proof theory of impredicative subsystems of analysis
Subjects: Foundations, Mathematical analysis, Proof theory