{"product_id":"9780198526339","title":"Reductive Logic and Proof-search : Proof Theory, Semantics, and Control (Oxford Logic Guides)","description":"\u003cp\u003eThis book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic\/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":48663100784875,"sku":"00000_00000_00000_00000","price":412.02,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780198526339-1.jpg?v=1781610934","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9780198526339","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}