Proof theory of impredicative subsystems of analysis by Buchholz, Wilfried, Schütte, Kurt fromStudies in Proof Theory 0 Type: Book