Introduction to Homotopy Type Theory - Egbert Rijke
Cod EAN 9781108844161
Preț
513,83 lei
570,92 lei
−10%
Fără reducere reală
Cel mai mic preț din cele 9 zile dinainte de 22 octombrie 2026 a fost 456,74 lei, mai mic decât acum. Reducerea de −10% e calculată față de prețul vechi afișat de magazin (570,92 lei).
Peste prețul mediu din ultimele 30 de zile
Media: 510 lei. Cel mai mic preț a fost 456,74 lei, ultima dată pe 21 octombrie 2026; acum e cu 12% mai mult. Vezi istoricul
la Libris
- Transport gratuit peste 135 lei
- Cupon de 10% la abonarea la newsletter
- Retur extins la 30 de zile
În stoc la Libris Prețuri actualizate la 22 octombrie 2026, 16:15
Oferta disponibilă
Prețurile și disponibilitatea sunt preluate automat de la magazine și se pot schimba. Când cumperi printr-un link de pe site, putem primi un comision de la magazin, fără niciun cost în plus pentru tine. Cum funcționează
-
Introduction to Homotopy Type Theory - Egbert Rijke
În stoc
513,83 leiCel mai mic preț înainte
570,92 lei
Istoricul prețului
| Perioada | Cel mai mic | Cel mai mare | Prețul mediu | Scăderi |
|---|---|---|---|---|
| Ultimele 30 de zile | 456,74 lei | 513,83 lei | 510 lei | 1 |
Vezi schimbările de preț
| Din data | Cel mai mic preț |
|---|---|
| 22 octombrie 2026 | 513,83 lei |
| 20 octombrie 2026 | 456,74 lei |
| 13 octombrie 2026 | 513,83 lei |
Descriere
Rijke, Egbert: - Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory. As one of the co-authors of the influential book 'Homotopy Type Theory: Univalent Foundations of Mathematics' (2013), he has played a pivotal role in shaping the field. He is also a founder and lead developer of the agda-unimath library, which stands as the largest library of formalized mathematics written in the Agda proof assistant.
Descrierea este preluată de la magazin.
