The Wealth of Nations
Adam Smith
Your Money or Your Life
Vicki Robin
Aristotelis-Categ[..]
Aristotle
Democracy in America
de Tocqueville, Alexis
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program