Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Maps of meaning| The Architecture of belief
Jordan B. Peterson
Game Engine Black Book Wolfenstein 3D (v2.1)
Fabien Sanglard
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Foundations of Game Engine Development Volume 1 Mathematics
Eric Lengyel