Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Organized Mind : Thinking Straight in the Age of Information ...
Levitin, Daniel J.
Ways that are Dark: The Truth about China
Ralph Townsend
Game Programming Gems 2
Mark A. Deloura
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman