{"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":48863185305835,"sku":"00000_00000_00000_00000","price":109.85,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783662694824-1.jpg?v=1781728484","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783662694824","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}