Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy by David
150,01 €
"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:
