{"product_id":"allan-ramsay-formal-methods-in-artificial-intelligence-9780521424219","title":"Formal Methods in Artificial Intelligence","description":"This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53368355619158,"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_9780521424219_1.jpg?v=1778854940","url":"https:\/\/www.momoxbooks.com\/products\/allan-ramsay-formal-methods-in-artificial-intelligence-9780521424219","provider":"momoxbooks","version":"1.0","type":"link"}