Game Programming Gems 5
Kim Pallister
The Drunkard's Walk
Leonard Mlodinow
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Aristotelis-Categ[..]
Aristotle
Game Engine Gems 2
Eric Lengyel