Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923
What Doesn't Kill Us
Scott Carney
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko