Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Der Code der Mathematik: Beweis und Wahrheit, Taschenbuch von Müller-Stach, Stefan,...

Ø 0.0
0 Bewertungen
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: