{"product_id":"automated-development-of-fundamental-mathematical-theories-2-automated-reasoning-series-9780792320210","title":"Automated Development of Fundamental Mathematical Theories 2 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":53133709869399,"sku":"9780792320210","price":170.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/automated-development-of-fundamental-mathematical-theories-2-automated-reasoning-series-9780792320210","provider":"Book Curl","version":"1.0","type":"link"}