Dynamic Bible
Peter Han
The Golden Chain: An Anthology of Pythagorean and Platonic Philosophy
Algis Uzdavinys
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Algorithms to Live By
Brian Christian
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin