{"product_id":"proof-and-computation-digitization-in-mathematics-computer-science-and-philosophy-world-scientific-publishing-co-pte-ltd-9789813270930-klaus-mainzer","title":"Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy","description":"\u003cp\u003e\u003cstrong\u003eProof And Computation: Digitization In Mathematics, Computer Science, And Philosophy\u003c\/strong\u003e by Helmut Schwichtenberg.\u003c\/p\u003e\n\u003cp\u003ePublished by World Scientific Publishing Co Pte Ltd, (2018), Hardback, 300 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Logic, symbolic and mathematical.\u003c\/p\u003e","brand":"Klaus Mainzer","offers":[{"title":"Default Title","offer_id":52263323697494,"sku":"9789813270930","price":121.25,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789813270930.jpg?v=1767795071","url":"https:\/\/www.bookshop.ee\/products\/proof-and-computation-digitization-in-mathematics-computer-science-and-philosophy-world-scientific-publishing-co-pte-ltd-9789813270930-klaus-mainzer","provider":"Bookshop","version":"1.0","type":"link"}