TU Darmstadt / ULB / TUbiblio

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

Kohlenbach, Ulrich (2007):
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
In: Bulletin of symbolic logic, 13, p. 377, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Creators: Kohlenbach, Ulrich
Title: Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract)
Language: English
Series Name: Bulletin of symbolic logic
Volume: 13
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:27
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item