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
  • 210 Seiten
  • ISBN 9783662740644

Am 13.11.2026

Anderes Ausgaben