Egbert (The Johns Hopkins University, Maryland) Rijke
Meer over Egbert (The Johns Hopkins University, Maryland) Rijke
Egbert (The Johns Hopkins University, Maryland) Rijke
Introduction to Homotopy Type Theory
Gebonden EN 2025 9781108844161Levertijd ongeveer 8 werkdagen
Gratis verzonden
Samenvatting
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
Specificaties
ISBN13:9781108844161
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:386
Uitgever:Cambridge University Press
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan