Modal Homotopy Type Theory

Name: Modal Homotopy Type Theory
Brand: Oxford University Press
SKU: 9780198853404
Availability: InStock
ISBN: 9780198853404

Autor

Editura

Oxford University Press

An publicare

2020

Nr. Pagini

208

ISBN

9780198853404

Categorii

Istorie In Limbi Străine

Descriere

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.