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