Mencius
Mencius & D. C. Lau
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
Euler The Master of Us All
William Dunham
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program