Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Orpheus and the Roots of Platonism
Algis Uždavinys
Intuitionistic Type Theory
Per Martin-Lof
Programming Game AI by Example
Mat Buckland
Crush It!: Why NOW Is the Time to Cash In on Your Passion
Gary Vaynerchuk