Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Dynamic Bible
Peter Han
Language Unlimited
David Adger
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program