The prince
Machiavelli, Niccol, 1469-1527
Book of Proof
Richard Hammack
The Federalist
Pain Webber
Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program