Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Mediated
Thomas de Zengotita
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Treatise on conic sections
Apollonius, of Perga
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove