A brief introduction to type theory and the univalence axiom
Jackson Macor
AI for Games, Third Edition
Ian Millington
The Method of Archimedes
Archimedes
Revolt Against the Modern World: Politics, Religion, and Social ...
Julius Evola
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein