Treatise on conic sections
Apollonius, of Perga
The Drunkard's Walk
Leonard Mlodinow
Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...
Nicola Spanu
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Roots of the Human Condition
Frithjof Schuon