{"product_id":"history-and-philosophy-of-constructive-type-theory-290-synthese-library-9780792361800","title":"History and Philosophy of Constructive Type Theory 290 Synthese Library","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53133807026519,"sku":"9780792361800","price":123.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/history-and-philosophy-of-constructive-type-theory-290-synthese-library-9780792361800","provider":"Book Curl","version":"1.0","type":"link"}