Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

By U. Kohlenbach

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.

• Format: Hardcover
• Language: English
• ISBN: 3540775323
• ISBN13: 9783540775324
• Release Date: May 2008
• Publisher: Springer
• Length: 536 Pages
• Weight: 2.09 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"