The Structure Of Scientific Revolutions
Thomas Kuhn
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Planned Chaos
Ludwig Von Mises
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)