Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen
Game Engine Black Book Wolfenstein 3D (v2.1)
Fabien Sanglard
500 A Collection of Sketches by Spencer Nugent
Spencer Nugent
The Obesity Code: Unlocking the Secrets of Weight Loss
Jason Fung