{"product_id":"simple-type-theory-birkhauser-verlag-ag-9783031853517-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas-william-farmer","title":"Simple Type Theory","description":"\u003cp\u003e\u003cstrong\u003eSimple Type Theory\u003c\/strong\u003e by William Farmer.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer Basel AG, (2025), Hardback, 319 pages.\u003c\/p\u003e","brand":"William Farmer","offers":[{"title":"Default Title","offer_id":52257289306454,"sku":"9783031853517","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031853517.jpg?v=1767787284","url":"https:\/\/www.englishbook.fi\/products\/simple-type-theory-birkhauser-verlag-ag-9783031853517-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas-william-farmer","provider":"Bookshop","version":"1.0","type":"link"}