Game Engine Gems 2
Eric Lengyel
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Language Unlimited
David Adger
The Candida Cure Cookbook
Ann Boroch
New Foundations for Classical Mechanics
D. Hestenes