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