PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Programming Game AI by Example
Mat Buckland
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
New Foundations for Classical Mechanics
D. Hestenes