{"product_id":"resolution-proof-systems-an-algebraic-theory-4-automated-reasoning-series-9780792340171","title":"Resolution Proof Systems An Algebraic Theory 4 Automated Reasoning Series","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53133751091543,"sku":"9780792340171","price":85.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/resolution-proof-systems-an-algebraic-theory-4-automated-reasoning-series-9780792340171","provider":"Book Curl","version":"1.0","type":"link"}