Modal Homotopy Type Theory

Auteur: Corfield, David (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury)
Editeur: Oxford University Press
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
Sur commande
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
ISBN / EAN 9780198853404
Auteur Corfield, David (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury)
Editeur Oxford University Press