{"product_id":"handbook-of-practical-logic-and-automated-reasoning-9781139637886","title":"Handbook of Practical Logic and Automated Reasoning","description":"\u003cp\u003eA one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871211712791,"sku":null,"price":17823.96,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637886.jpg?v=1780901479","url":"https:\/\/payment.letskitaboo.com\/te\/products\/handbook-of-practical-logic-and-automated-reasoning-9781139637886","provider":"Kitaboo One eStore","version":"1.0","type":"link"}