{"product_id":"9780792357209","title":"Cut Elimination in Categories (Trends in Logic, V. 6)","description":"\u003cp\u003eProof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.\u003c\/p\u003e","brand":"Kluwer Academic Pub","offers":[{"title":"Default Title","offer_id":48676551753963,"sku":"00000_00000_00000_00000","price":311.28,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780792357209-1.jpg?v=1785758782","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9780792357209","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}