![]() |
Archivserver deposit.d-nb.de |
![]() |
| Lietz, Peter | |
| From constructive mathematics to computable analysis via the realizability interpretation | |
| Fachbereich Mathematik , Technische Universitaet Darmstadt, 2004 |
|
|
|
Dokument aufgenommen : 03.03.2005
| Copyright: Deutsche Nationalbibliothek 29.06.2006 |