{"product_id":"reductive-logic-and-proof-search-proof-theory-semantics-and-control-9780198526339","title":"Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control","description":"\u003cp\u003e • Author(s): David J. Pym | Eike Ritter\u003cbr\u003e • Publisher: OUP Oxford\u003cbr\u003e • Publisher Imprint: OUP Oxford\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\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":"OUP Oxford","offers":[{"title":"Hardcover","offer_id":47813603852439,"sku":"9780198526339","price":24248.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780198526339.webp?v=1778337119","url":"https:\/\/atlanticbooks.com\/products\/reductive-logic-and-proof-search-proof-theory-semantics-and-control-9780198526339","provider":"Atlantic Books","version":"1.0","type":"link"}