partilhar
Em destaque VER +
The Code Of Mathematics
Inspired 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.
bibliografia
- ordenação
- Data Edição
- Ranking
portes grátis
57,93€
52,14€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
154,49€
Poupe 15,45€
Springer International Publishing AG
portes grátis
10% Cartão Leitor Bertrand
154,49€
Poupe 15,45€
Springer International Publishing AG