Modale Homotopie Typentheorie: Die Aussicht auf eine neue Logik für die Philosophie, hart...
97,92 €
"The old logic put thought in fetters, while the new logic gives it wings.". Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree.
Jetzt bei Ebay:
