Journals Higher Education

$85.00

Hardcover

This item is not yet published. It is available for pre-orders and will ship on 03 March 2020.

Notify Me When In Stock

192 Pages

9.2 x 6.1 inches

ISBN: 9780198853404


Also Available As:

Ebook


Bookseller Code (06)

Modal Homotopy Type Theory

The Prospect of a New Logic for Philosophy

David Corfield

  • The first book-length philosophical treatment of homotopy type theory, and its modal variants
  • With applications in language, metaphysics and mathematics, the reader is shown the power of the new language
  • Written in an accessible and conversational tone, allowing for ease of understanding
Share:

Also of Interest