{"product_id":"proof-theory-herman-ruge-jervell-9783832533038","title":"Proof Theory","description":"In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Herman Ruge Jervell\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3832533036\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783832533038\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logos Verlag Berlin\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/16\/2013\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 129\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Herman Ruge Jervell","offers":[{"title":"Paperback","offer_id":48450127659263,"sku":"9783832533038","price":30.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_9b57585b-1652-4832-bc63-490bb9b0c4e5.jpg?v=1777266330","url":"https:\/\/www.whiterainbookhouse.com\/products\/proof-theory-herman-ruge-jervell-9783832533038","provider":"WR Book House","version":"1.0","type":"link"}