Calculus on Manifolds
Michael Spivak
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Mediated
Thomas de Zengotita