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 11,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 The Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science

Browse books like Modal Homotopy Type Theory

5 book lists we think you will like!

Interested in math, philosophy, and logic?

Math 262 books
Philosophy 1,659 books
Logic 42 books