Bernd J. Stephan

• Induktive Definitionen und Fragmente der klassischen Analysis in einer Theorie der effektiven Mathematik