Intuitionistic Type Theory
Per Martin-Lof
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
Picatrix Liber Atratus Books 1 and 2 (Complete Picatrix Liber ...
Christopher Warnock
Giovanni Sambin, Per Martin-Lof
Programming Game AI by Example
Mat Buckland
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)