{"product_id":"short-introduction-to-intuitionistic-logic-springer-verlag-new-york-inc-9781475773194-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":52228924309846,"sku":"9781475773194","price":159.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781475773194.jpg?v=1767744074","url":"https:\/\/www.englishbook.pt\/products\/short-introduction-to-intuitionistic-logic-springer-verlag-new-york-inc-9781475773194-grigori-mints","provider":"Bookshop","version":"1.0","type":"link"}