Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) U. Kohlenbach

Kohlenbach, Ulrich:

ISBN 10: 3540775323 / ISBN 13: 9783540775324

Published by Springer, 2008

About this Item

556 S. Gutes Exemplar, geringe Gebrauchsspuren, Cover/SU berieben/bestoßen, Schnitt/Papier nachgedunkelt, innen alles in Ordnung. A260126am59 ISBN: 9783540775324 Sprache: Englisch Gewicht in Gramm: 2100.

Seller Inventory # 749150

Bibliographic Details

• Title: Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) U. Kohlenbach
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 3540775323
• ISBN 13: 9783540775324
• Binding: Gebundene Ausgabe
• Edition: 2008.
• Condition: Gut
• Weight: 2100 grams
• Seller catalogs:
  • Naturwissens./Mathematik

About this title

Synopsis

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

About the Author

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".