Michael Abrash’s Graphics Programming Black Book
Michael Abrash
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.
Intuitionistic Type Theory
Per Martin-Lof
Your Money or Your Life
Vicki Robin
The Complete Essays
Michel de Montaigne