Feedback

X
#1

keyword: Mathematical analysis – 1 free books.

-doab These books do not seem to be included in the Directory of Open Access Books.

  • View As:
  • view list
  • view icon

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program, Institute for Advanced Study

AVAILABLE!
Book cover
The Univalent Foundations Program, Institute for Advanced Study