TU Darmstadt / ULB / TUbiblio

Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract)

Kohlenbach, Ulrich :
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
In: Bulletin of symbolic logic , 13 .
[Konferenz- oder Workshop-Beitrag], (2007)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2007
Autor(en): Kohlenbach, Ulrich
Titel: Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract)
Sprache: Englisch
Reihe: Bulletin of symbolic logic
Band: 13
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:27
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen