Meditations
Marcus Aurelius
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program