{"product_id":"davis-martin-a-machine-program-for-theorem-proving-9781179051789","title":"A Machine Program for Theorem-Proving","description":null,"brand":"Nabu Press","offers":[{"title":"Default Title","offer_id":53806474461526,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/davis-martin-a-machine-program-for-theorem-proving-9781179051789","provider":"momoxbooks","version":"1.0","type":"link"}