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.