The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
The Four Steps to the Epiphany
Steve Blank
The Model Thinker
Scott E. Page
The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program