TU Darmstadt / ULB / TUbiblio

From constructive mathematics to computable analysis via the realizability interpretation

Lietz, Peter :
From constructive mathematics to computable analysis via the realizability interpretation.
Technische Universität , Darmstadt
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 2004
Autor(en): Lietz, Peter
Titel: From constructive mathematics to computable analysis via the realizability interpretation
Sprache: Englisch
Ort: Darmstadt
Verlag: Technische Universität
Kollation: 97 S. ; graph. Darst.
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:19
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen