TU Darmstadt / ULB / TUbiblio

From constructive mathematics to computable analysis via the realizability interpretation

Lietz, Peter (2004)
From constructive mathematics to computable analysis via the realizability interpretation.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 2004
Autor(en): Lietz, Peter
Art des Eintrags: Bibliographie
Titel: From constructive mathematics to computable analysis via the realizability interpretation
Sprache: Englisch
Publikationsjahr: 2004
Ort: Darmstadt
Verlag: Technische Universität
Kollation: 97 S. ; graph. Darst.
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:19
Letzte Änderung: 26 Aug 2018 21:23
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen