New Arrivals/Restock

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

flash sale iconLimited Time Sale
Until the end
05
49
15

US$38.80 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$25.86
quantity

Product details

Management number 231815767 Release Date 2026/06/18 List Price US$25.86 Model Number 231815767
Category

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. Read more

ASIN B00FC7YX7M
XRay Not Enabled
Format Print Replica
ISBN13 978-3540775331
Edition 2008th
Language English
File size 12.7 MB
Page Flip Not Enabled
Publisher Springer
Word Wise Not Enabled
Print length 556 pages
Accessibility Learn more
Part of series Springer Monographs in Mathematics
Publication date May 23, 2008
Enhanced typesetting Not Enabled

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review