Fri Frakt över 299kr
Fri Frakt över 299kr
Kundservice
The Code of Mathematics (häftad, eng)

Springer-Verlag Berlin and Hei

The Code of Mathematics (häftad, eng)

689 kr

689 kr

Få kvar

Fre, 24 jan - mån, 27 jan


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Buyersclub.se


Produktbeskrivning

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.


Format Häftad Omfång 170 sidor Språk Engelska Förlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Utgivningsdatum 2024-09-04 ISBN 9783662694824

Artikel.nr.

37c67cfc-afee-5930-9f73-b98af105e7cf

Springer-Verlag Berlin and Hei

The Code of Mathematics (häftad, eng)

689 kr

689 kr

Få kvar

Fre, 24 jan - mån, 27 jan


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Buyersclub.se