Calculus on Manifolds
Michael Spivak
Game Coding Complete
McShaffry, Mike(Author)
Essay on Economic Theory, An
Richard Cantillon
Engineering a Compiler
Keith D. Cooper & Linda Torczon
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program