Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Engine Black Book Wolfenstein 3D (v2.1)
Fabien Sanglard
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin