Modal Homotopy Type Theory appears in 1 book list

By David Corfield,

Modal Homotopy Type Theory appears in 1 book list on Shepherd.

The best books on contemporary mathematics for the philosophically inclined

Book cover of Quantum Computing Since Democritus Book cover of Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy Book cover of Philosophy and Model Theory Book cover of The Joy of Abstraction: An Exploration of Math, Category Theory, and Life Book cover of Synthetic Philosophy of Contemporary Mathematics

Want books like Modal Homotopy Type Theory?

Our community of 12,000+ authors has personally recommended 100 books like Modal Homotopy Type Theory.

Book cover of Quantum Computing Since Democritus Book cover of Synthetic Philosophy of Contemporary Mathematics Book cover of The Joy of Abstraction: An Exploration of Math, Category Theory, and Life Book cover of Philosophy and Model Theory Book cover of Proofs and Refutations Book cover of Descartes' Dream: The World According to Mathematics (Dover Books on Mathematics)

Browse books like Modal Homotopy Type Theory

5 book lists we think you will like!

Interested in math, philosophy, and logic?

Math 276 books
Philosophy 1,790 books
Logic 43 books