Kurt Schutte

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Proof Theory of Impredicative Subsystems of Analysis	978-88-7O88-166-O (88-7O88-166-O)	1989	Wilfried Buchholz