Ok, I'm an engineer and I have forgotten everything from Uni so have blown the dust off linear algebra as I need it for a few things. I have tried, and am still using, the following texts:
David Lay, Schaum's, Keith Nicholson and A. Wayne Roberts but the best one I've found so far is Larson. If you are a math major you won't like Larson, you'll find the Schuam's, Lay or Nicholson texts more detailed and into proofs and all that. If you are an engineer, physics or chemist, Larson's book is for you.
Linear algebra, unlike calculus and differential equations, can be very tedious like other things in pure maths. Lots to memorize, axioms, rules, proofs.....not my thing. I need the linear algebra to understand basis, vector spaces, 3D geometry and the matrix algebra that goes along with it. The proofs to me are a tedious waste of time, a comment that the math majors will fume about but there it is. I want this as am relearning my vector calculus and want to move into tensors which require the LA....but not to the minute detail that Nicholson and Lay present.
30 years ago I asked my antennas professor why he didn't publish his notes as a text book as the book he had us buy, Balanis, was almost impossible and he dropped a line that has stayed with me since, "Balanis is not and was never written for you to learn from. Prof Balanis wrote it to impress me and his other colleagues world wide, he was not thinking of students. Most text books are like this, it's professors trying to impress other professors, students are an afterthought." .
There is much meat in that statement.
Larson is written for students to learn from, providing you're not a math major.
If you need more details, Nicholson, Lay or Harm's Speigel is what you need.
cheers,
john