Game Coding Complete
McShaffry, Mike(Author)
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Per Martin-Lof
Crush It!: Why NOW Is the Time to Cash In on Your Passion
Gary Vaynerchuk
Programming Game AI by Example
Mat Buckland