Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...
Nicola Spanu
Game Programming Gems 4
Andrew Kirmse
Treatise on conic sections
Apollonius, of Perga
No bullshit guide to linear algebra
Ivan Savov