Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
Topics in the Foundations of General Relativity & Newtonian ...
Malament, David
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin