{"product_id":"9783540120438","title":"Automation of Reasoning: Classical Papers on Computational Logic 1957-1966","description":"\u003ch3\u003eAutomation of Reasoning: Classical Papers on Computational Logic 1957-1966\u003c\/h3\u003e","brand":"Siekmann, Jorg","offers":[{"title":"Très bon","offer_id":40156922511449,"sku":"GD-9783540120438","price":62.75,"currency_code":"EUR","in_stock":false},{"title":"Correct","offer_id":40156922609753,"sku":"PR-9783540120438","price":0.99,"currency_code":"EUR","in_stock":false},{"title":"Bon","offer_id":40156922544217,"sku":"AV-9783540120438","price":62.75,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/61bTT9fspPL_2b56feae-0d1d-41c3-924b-ee832f2bc1d8.jpg?v=1758745408","url":"https:\/\/labourseauxlivres.fr\/products\/9783540120438","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}