PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Programming Game AI by Example
Mat Buckland
Calculus on Manifolds
Michael Spivak
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)