Induktive Definitionen und Fragmente der klassischen Analyse in einer Theorie der effektiven Mathematik. - Stephan, Bernd Juergen (Univ., Fachbereich Mathematik, 1976)