Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 2008 Edition Contributor(s): Kohlenbach, Ulrich (Author) |
|
ISBN: 3540775323 ISBN-13: 9783540775324 Publisher: Springer OUR PRICE: $132.99 Product Type: Hardcover - Other Formats Published: May 2008 |
Additional Information |
BISAC Categories: - Mathematics | Mathematical Analysis - Mathematics | Functional Analysis - Mathematics | Logic |
Dewey: 970.004 |
LCCN: 2008920614 |
Series: Springer Monographs in Mathematics |
Physical Information: 1.19" H x 6.14" W x 9.21" (2.09 lbs) 536 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |