Road To Serfdom
F. A. Hayek
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin