{"product_id":"9783662694824","title":"The Code of Mathematics : Proof and Truth (Mathematics Study Resources 11)","description":"\u003cp\u003eInspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52435207684407,"sku":"00000_00000_00000_00000","price":325.02,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783662694824-1.jpg?v=1783274814","url":"https:\/\/kinokuniya.com.my\/products\/9783662694824","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}