The four books are: Halmos "Finite-Dimensional Vector Spaces" Anton "Linear Algebra" Hoffman and Kunze "Linear Algebra" and Axler "Linear Algebra Done Right"