The Search for the Perfect Language
Umberto Eco
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Complete Works of Aristotle, Volume 2
Aristotle, Barnes, J.
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517