No bullshit guide to linear algebra
Ivan Savov
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
3D Game Engine Dsign
David H. Eberly
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak