Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Intuitionistic Type Theory
Per Martin-Lof
Real-Time Collision Detection
Christer Ericson
Planned Chaos
Ludwig Von Mises
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus