Elementary Linear Algebra with Applications by Bernard Kolman
For introductory sophomore-level courses in Linear Algebra or Matrix Theory.
This text presents the basic ideas of linear algebra in a manner that offers students a fine balance between abstraction/theory and computational skills. The emphasis is on not just teaching how to read a proof but also on how to write a proof.