Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy 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. Autor: David Corfield Wydawnictwo: Oxford University Press Rok wydania: 2020 Okładka: twarda Liczba stron: 192 Wymiary: 16.1 x 24 x 1.9 cm Język: angielski ISBN: 9780198853404