Description: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics, Hardcover by Kohlenbach, U., ISBN 3540775323, ISBN-13 9783540775324, Brand New, Free shipping in the US 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.
Price: 155.71 USD
Location: Jessup, Maryland
End Time: 2024-12-19T09:46:30.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Applied Proof Theory: Proof Interpretations and Their Use in Math
Number of Pages: Xx, 536 Pages
Language: English
Publication Name: Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Publisher: Springer Berlin / Heidelberg
Publication Year: 2008
Subject: Functional Analysis, Intelligence (Ai) & Semantics, General, Logic, Mathematical Analysis
Type: Textbook
Item Weight: 74.1 Oz
Subject Area: Mathematics, Computers
Item Length: 9.3 in
Author: Ulrich Kohlenbach
Series: Springer Monographs in Mathematics Ser.
Item Width: 6.1 in
Format: Hardcover
