The Book of Life
Marsilio Ficino
Trading and Exchanges
Larry Harris
The Model Thinker
Scott E. Page
Opticks: or, A treatise of the reflections, refractions, inflexions ...
Newton, Isaac, 1642-1727
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program