TU Darmstadt / ULB / TUbiblio

Proof mining: application of proof theory to analysis

Kohlenbach, Ulrich (2005)
Proof mining: application of proof theory to analysis.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2005
Autor(en): Kohlenbach, Ulrich
Art des Eintrags: Bibliographie
Titel: Proof mining: application of proof theory to analysis
Sprache: Englisch
Publikationsjahr: 2005
Reihe: Oberwolfach Report 14/2005, Mathematisches Forschungsinst. Oberwolfach, Workshop ÙMathematical Logic: Proof Theory, Type Theory and Constructive Mathematics", March 20-26, 2005, S.785-787
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Letzte Änderung: 05 Mär 2013 09:09
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