Unfortunately that book was too lightweight on theory to be of use to me, but it's certainly a very good book. I've recently started Strang's more advanced book

Unfortunately that book was too lightweight on theory to be of use to me, but it's certainly a very good book. I've recently started Strang's more advanced book on computational linear algebra/numerical analysis and it's pretty good though.