Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
Principles of Economics
Alfred Marshall
AI Game Programming Wisdom
Steve Rabin
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen