Hitta prylar för julen!

Öppet köp till och med 7/1 -25*

Hitta prylar för julen!

Öppet köp till och med 7/1 -25*

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)

679 kr

679 kr

Få kvar

Tor, 2 jan - fre, 3 jan


Säker betalning

Öppet köp till och med 7/1-25


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 238 sidor Språk Engelska Förlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Utgivningsdatum 2024-09-05 ISBN 9783662694824

Artikel.nr.

37c67cfc-afee-5930-9f73-b98af105e7cf

Springer-Verlag Berlin and Hei

The Code of Mathematics (häftad, eng)

679 kr

679 kr

Få kvar

Tor, 2 jan - fre, 3 jan


Säker betalning

Öppet köp till och med 7/1-25


Säljs och levereras av

Buyersclub.se