Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
AI for Games, Third Edition
Ian Millington
The C++ Programming Language
Bjarne Stroustrup
The General Theory of Employment, Interest and Money
Keynes, John Maynard
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin