Schütte: Proof theory of impredicative subsystems of analysis. (Bibliopolis (1988)

by W Buchholz, K