Introduction to Linear Algebra
Gilbert Strang
How to Prove It: A Structured Approach
Daniel J. Velleman
Introduction to Linear Algebra (OCR)
Discrete Mathematics and Its Applications
Kenneth H. Rosen