Intuitionistic Type Theory
Per Martin-Lof
The Model Thinker
Scott E. Page
Orpheus and the Roots of Platonism
Algis Uždavinys
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
Programming Game AI by Example
Mat Buckland
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)