How to Prove It: A Structured Approach
Daniel J. Velleman
Linear Algebra Done Right
Sheldon Axler
Introduction to Linear Algebra
Gilbert Strang
The Art of Computer Programming: Seminumerical Algorithms, Volume ...
Donald E. Knuth
The Art of Computer Programming (2)