Applied Proof Theory: Proof Interpretations and Their Use in Mathematics - Hardback

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.

• | Author: Ulrich Kohlenbach
• | Publisher: Springer
• | Publication Date: May 26, 2008
• | Number of Pages: 536 pages
• | Binding: Hardback or Cased Book
• | ISBN-10: 3540775323
• | ISBN-13: 9783540775324