Critique Of Pure Reason
Immanuel Kant
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche