A Theory of Fun for Game Design
Raph Koster
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Art of Game Design, 3rd Edition
Jesse Schell
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
AI Game Programming Wisdom 4
Steve Rabin