{"product_id":"applied-proof-theory-ulrich-kohlenbach-9783540775324","title":"Applied Proof Theory: Proof Interpretations and Their Use in Mathematics","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Ulrich Kohlenbach\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540775323\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540775324\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/26\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 536\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.09lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.19d","brand":"Ulrich Kohlenbach","offers":[{"title":"Hardcover","offer_id":44125996810495,"sku":"9783540775324","price":139.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_97569643-8447-4280-a7fe-af2d16b82d35.jpg?v=1687445712","url":"https:\/\/www.whiterainbookhouse.com\/products\/applied-proof-theory-ulrich-kohlenbach-9783540775324","provider":"WR Book House","version":"1.0","type":"link"}