Strang is not adequate for someone looking for a rigorous presentation of linear algebra. Axler's Linear Algebra Done Right, and Halmos's (older) Finite-Dimens

Strang is not adequate for someone looking for a rigorous presentation of linear algebra. Axler's Linear Algebra Done Right, and Halmos's (older) Finite-Dimensional Vector Spaces are superior in rigor.