{"product_id":"h-jorg-siekmann-automation-of-reasoning-classical-papers-on-computational-logic-1957-1966-9780387120430","title":"Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966","description":null,"brand":"Springer Verlag","offers":[{"title":"Default Title","offer_id":53736791867734,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780387120430_1.jpg?v=1781782388","url":"https:\/\/www.momoxbooks.com\/products\/h-jorg-siekmann-automation-of-reasoning-classical-papers-on-computational-logic-1957-1966-9780387120430","provider":"momoxbooks","version":"1.0","type":"link"}