Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Hero With A Thousand Faces, Commemorative Edition (Princeton ...
Joseph Campbell
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman
On the Genealogy of Morals
Frederich Nietzsche