Game Programming Gems 3
Dante Treglia
21st Century C
Ben Klemens
Programming Game AI by Example
Mat Buckland
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Egyptian Hermes: A Historical Approach to the Late Pagan ...
Garth Fowden
