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