| Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Contributor(s): Kohlenbach, Ulrich (Author) |
|
 |
ISBN: 3642096271 ISBN-13: 9783642096273 Publisher: Springer OUR PRICE: $132.99 Product Type: Paperback - Other Formats Published: October 2010 |
| Additional Information |
| BISAC Categories: - Mathematics | Mathematical Analysis - Mathematics | Functional Analysis - Mathematics | Logic |
| Dewey: 970.004 |
| Series: Springer Monographs in Mathematics |
| Physical Information: 1.13" H x 6.14" W x 9.21" (1.70 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. |