Theorie der majorisierbaren und stetigen funktionale und ihre Anwendung bei der Extraktion von Schranken aus inskonstruktiven Beweisen : effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen
Ulrich Wilhelm Kohlenbach
Bok Tysk 1990
Utgitt | Frankfurt am Main , 1990
|
---|---|
Omfang | 278 s.
|
Opplysninger | Avhandling (Doktorgrad) - Frankfurt am Main Johan Wolfgang Goethe-Universität.
|