{"product_id":"nipkow-tobias-isabelle-hol-a-proof-assistant-for-higher-order-logic-lecture-notes-in-computer-science-band-2283-9783540433767","title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53826760442198,"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_9783540433767_1.jpg?v=1781826828","url":"https:\/\/www.momoxbooks.com\/products\/nipkow-tobias-isabelle-hol-a-proof-assistant-for-higher-order-logic-lecture-notes-in-computer-science-band-2283-9783540433767","provider":"momoxbooks","version":"1.0","type":"link"}