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.
Olemme Pohjoismaiden suurin verkkokirjakauppa, ja haluamme inspiroida seuraavan lukuelämyksen löytämiseen. Haluamme johdattaa sinut löytämään kirjoja, jotka lumoavat, liikuttavat ja koskettavat tai hetkeksi vievät mukanaan täysin toiseen maailmaan. Löydät meiltä yli 13 miljoonaa kirjaa sekä uusimmat pelit, askartelutarvikkeet, langat sekä muut nykyaikaisen kirjakaupan tuotteet.
Saat tietoa kampanjoista, uutuuksista ja sinulle valituista kirjavinkeistä. Tilaa nyt, niin saat 15 % alennuksen seuraavasta ostoksestasi. Tarjous on tarkoitettu yksityisasiakkaille, ja se koskee vain uusia uutiskirjeen tilaajia. Alennus ei koske oppikirjoja, digitaalisia kirjoja eikä lahjakortteja.
Ilmainen toimitus yksityisasiakkaille yli 29 euron tilauksiin. Tarjoamme toimituksen noutopisteeseen, suoraan postilaatikkoosi tai ovelle, pakettiautomaattiin tai kotiinkuljetuksena. Saatavilla olevat toimitusvaihtoehdot näkyvät kassalla. Toimitusaika voi vaihdella toimitustavan, osoitteen ja tilauksesi sisältämien tuotteiden pidempien toimitusaikojen mukaan. Arvioitu kokonaisaika toimitukselle ilmoitetaan kassalla.
Voit maksaa MobilePaylla, kortilla (Visa tai Mastercard), Apple Paylla tai Klarnalla. Klarnan maksuvaihtoehdot ovat: korttimaksu, verkkopankkimaksu, lasku tai osamaksu. Klikkaamalla "Maksa tilaus" hyväksyt Kustomsin ja Adlibriksen yleiset ehdot. Voit tutustua henkilötietojesi käsittelyyn Adlibriksen tietosuojakäytännössä ja Kustomsin tietosuojainformaatiossa.
Pidennetty palautusoikeus 31. tammikuuta 2026 saakka. Adlibriksella sinulla on aina 28 päivän palautusoikeus siitä hetkestä, kun olet vastaanottanut tuotteesi. Palautusmaksu on 5,90 euroa. Peruuttamisoikeus ei koske tuotteita, jotka toimitetaan sähköisesti ja ovat ladattavissa tilauksen vahvistushetkestä alkaen. Lisätietoja palautuksista, hyvityksistä ja reklamaatioista löydät ostoehdoistamme.