Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner
The Geometry of René Descartes
René Descartes
Heat Kernels and Dirac Operators
Ezra Getzler
Crafting Interpreters
Timothy Andrew
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program