94,95 €
inkl. MwSt.
Sofort per Download lieferbar
  • Format: PDF

Produktdetails
  • Verlag: Springer Berlin
  • Erscheinungstermin: 23. Mai 2008
  • Englisch
  • ISBN-13: 9783540775331
  • Artikelnr.: 37370581
Autorenporträt
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universität Darmstadt since 2004. He is a managing editor of the "Annals of Pure and Applied Logic".
Rezensionen
From the reviews: "This book covers ... from proof theory to a rich set of applications in areas quite distinct from mathematical logic: approximation theory and fixed point theory of nonexpansive mappings. ... Almost every chapter has a detailed ... informative final section with exercises, historical comments and references to related work. ... In summary, this book is a very welcome addition to the proof theory literature." (H. Schwichtenberg, Mathematical Reviews, Issue 2009 k)