Explore
keyword: Mathematical analysis – 1 free books.
These books do not seem to be included in the Directory of Open Access Books.
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study
AVAILABLE!
Login to Fave