Introduction to Homotopy Type Theory (inbunden, eng)
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer s...
707 kr
815 kr
inkl. moms
Bara 2 kvar
Skickas inom 3 - 4 vardagar
EAN: 9781108844161
Specifikation
Det finns tyvärr inga specifikationer att visa för denna produkt.