Game Programming Gems 7
Scott Jacobs
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
Einstein Manifolds
Arthur L. Besse
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
How to Solve It: A New Aspect of Mathematical Method
George Polya
New Foundations for Classical Mechanics
D. Hestenes