Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Hardcover) (ISBN-13: 9783540775324)
Vendor:
Ulrich Kohlenbach
Product type:
Books
- $139.99
$139.99- $139.99
- Unit price
- per
Subtotal:
$139.99
Description
xThis 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
ISBN-10: 3540775323
ISBN-13: 9783540775324
Publisher: Springer
Language: English
Published: 05/26/2008
Pages: 536
Format: Hardcover
Weight: 2.09lbs
Size: 9.21h x 6.14w x 1.19d
By Ulrich Kohlenbach
xUlrich Kohlenbach has been Professor of Mathematics at the Technische Universit舩 Darmstadt since 2004. He is a managing editor of the "Annals of Pure and Applied Logic".
Recently Viewed Products
- Choosing a selection results in a full page refresh.