shop by
Category
items
0 

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Hardcover)

Author: Kohlenbach, U.

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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.

Specifications

Publisher Springer Verlag
Mfg Part# 9783540775324
SKU 207532884
Format Hardcover
ISBN10 3540775323
Release Date 6/1/2008
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT