{"product_id":"reductive-logic-and-proof-search-proof-theory-semantics-and-control-oxford-logic-guides-0198526334","title":"Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0198526334\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Pym, David J.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\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":"Mia Karts","offers":[{"title":"Default Title","offer_id":51667001737504,"sku":"NEW0198526334","price":153.47,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/510WRktm3JL.jpg?v=1778955854","url":"https:\/\/miakarts.com\/products\/reductive-logic-and-proof-search-proof-theory-semantics-and-control-oxford-logic-guides-0198526334","provider":"Miakarts Books","version":"1.0","type":"link"}