{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-9783032060846","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195527717207,"sku":"9783032060846","price":33.24,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/automated-reasoning-with-analytic-tableaux-and-related-methods-9783032060846","provider":"Book Curl","version":"1.0","type":"link"}