New Foundations for Classical Mechanics
D. Hestenes
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euler The Master of Us All
William Dunham
Expert C Programming
Peter van der Linden
Livewired: The Inside Story of the Ever-Changing Brain
David Eagleman