( eBook -PDF ) the Structure of Intelligence by Ben Goertzel
Philosophy of Mathematics - Andrew Irvine
Manual Xpp
Proofs and Other Dilemmas
linear algebra
Philosophy of Mathematics