The Code of Mathematics: Proof and Truth (Mathematics Study Resources) NEUF
75,52 €
The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory. The interaction of type theory and infinity category theory yields a new paradigm for a structural view on mathematics.
Jetzt bei Ebay:
