Introduction to Homotopy Type Theory (inbunden, eng)
Item 3a8b39c1-c975-4c4e-abc3-ef171c9f88d1 · 1 källor
Attributes
id3885926Buyersclub Channable feed
gtin9781108844161Buyersclub Channable feed
linkhttps://buyersclub.se/produkt/cambridge-university-press-introduction-to-homotopy-type-theory-inbunden-engBuyersclub Channable feed
brandCambridge University PressBuyersclub Channable feed
price679.00 SEKBuyersclub Channable feed
titleIntroduction to Homotopy Type Theory (inbunden, eng)Buyersclub Channable feed
conditionnewBuyersclub Channable feed
image_linkhttps://buyersclub.blob.core.windows.net/images/items/3885926_0_500x500.jpgBuyersclub Channable feed
descriptionThis up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics. The book begins with a thorough …Buyersclub Channable feed
availabilityin stockBuyersclub Channable feed
google_product_categoryBöcker > Kurslitteratur > Matematik & NaturvetenskapBuyersclub Channable feed
Extras
extras.adultnoBuyersclub Channable feed
extras.priority0Buyersclub Channable feed
extras.suppliergardnersBuyersclub Channable feed
extras.total_stock3Buyersclub Channable feed
extras.member_price570.00 SEKBuyersclub Channable feed
extras.leaf_categoryMatematik & NaturvetenskapBuyersclub Channable feed
extras.reviews_count0Buyersclub Channable feed
extras.has_ai_description0Buyersclub Channable feed
extras.pricerunner_cheapest0Buyersclub Channable feed
extras.priceshape_price_position4Buyersclub Channable feed