{"product_id":"9780198853404","title":"Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy","description":"\u003cp\u003eModal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":49644299059448,"sku":"00000_00000_00000_00000","price":235.0,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9780198853404-1.jpg?v=1783580502","url":"https:\/\/kinokuniya.com.au\/products\/9780198853404","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}