Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
Four Thousand Weeks: Time Management for Mortals
Oliver Burkeman
La geometria
René Descartes
Anti-Tech Revolution: Why and How
Theodore John Kaczynski