Müller-Stach, Stefan. Der Code der Mathematik - Von Wahrheit, Beweis und Berechenbarkeit zur Homotopietypentheorie. Springer-Verlag GmbH, 2026.

Stefan Müller-Stach

Der Code der Mathematik

Von Wahrheit, Beweis und Berechenbarkeit zur Homotopietypentheorie
  • Springer-Verlag GmbH
  • 2026
  • Taschenbuch
  • 230 Seiten
  • ISBN 9783662740644

Am 09.10.2026

Anderes Ausgaben