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


Bernd J. Stephan
Bok Tysk 1976

Detaljer

Bibliotek som har denne