Art & Illusion
E. H. Gombrich
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Complete Essays
Michel de Montaigne
Linkers and Loaders
John R. Levine
The Making of Late Antiquity
Peter Brown