{"product_id":"goubault-jean-larrecq-proof-theory-and-automated-deduction-applied-logic-series-band-6-9780792345930","title":"Proof Theory and Automated Deduction (Applied Logic Series, Band 6)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53648321020246,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/goubault-jean-larrecq-proof-theory-and-automated-deduction-applied-logic-series-band-6-9780792345930","provider":"momoxbooks","version":"1.0","type":"link"}