TU Darmstadt / ULB / TUbiblio

Proof mining: application of proof theory to analysis

Kohlenbach, Ulrich :
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 .
[Konferenz- oder Workshop-Beitrag], (2005)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2005
Autor(en): Kohlenbach, Ulrich
Titel: Proof mining: application of proof theory to analysis
Sprache: Englisch
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): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen