Mathematics for 3D Game Programming and Computer Graphics, Third ...
Eric Lengyel
Game Physics
Eberly, David H.
Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger