TU Darmstadt / ULB / TUbiblio

Proof mining: application of proof theory to analysis

Kohlenbach, Ulrich (2005):
Proof mining: application of proof theory to analysis.
In: Oberwolfach Report 14/2005, Mathematisches Forschungsinst. Oberwolfach, Workshop ÙMathematical Logic: Proof Theory, Type Theory and Constructive Mathematics", March 20-26, 2005, S.785-787, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Kohlenbach, Ulrich
Title: Proof mining: application of proof theory to analysis
Language: English
Series Name: Oberwolfach Report 14/2005, Mathematisches Forschungsinst. Oberwolfach, Workshop ÙMathematical Logic: Proof Theory, Type Theory and Constructive Mathematics", March 20-26, 2005, S.785-787
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:24
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