A History of Mathematical Notations: Vol. Ii
Florian Cajori
Mathematics for 3D Game Programming and Computer Graphics, Third ...
Eric Lengyel
Intuitionistic Type Theory
Per Martin-Lof
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Common sense
Paine, Thomas, 1737-1809