Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Method of Archimedes
Archimedes
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
7 Habits of Highly Effective People: The Ultimate Revelations ...
Stephen R. Covey
The Hero With A Thousand Faces, Commemorative Edition (Princeton ...
Joseph Campbell