Comment by tptacek

I did undergrad linear algebra with my daughter last semester, and Strang and Axler were a good one-two punch, Strang for the computation, Axler for the proofs homework.