The Logic of Chemical Synthesis
Corey E.G., Chelg X.
On Light And Other High Frequency Phenomena
Nikola Tesla, Zoran B. Živković
What Doesn't Kill Us
Scott Carney
Euler The Master of Us All
William Dunham
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program