{"product_id":"short-introduction-to-intuitionistic-logic-springer-science-business-media-9780306463945-grigori-mints","title":"Short Introduction to Intuitionistic Logic","description":"\u003cp\u003eIntuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.\u003c\/p\u003e","brand":"Grigori Mints","offers":[{"title":"Default Title","offer_id":52228789174614,"sku":"9780306463945","price":149.14,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780306463945.jpg?v=1767743837","url":"https:\/\/www.laufgard.com\/products\/short-introduction-to-intuitionistic-logic-springer-science-business-media-9780306463945-grigori-mints","provider":"Bookshop","version":"1.0","type":"link"}