Der Code der Mathematik: Beweis und Wahrheit, Taschenbuch von Müller-Stach, Stefan,...
51,76 €
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: