Theoretical: Sheldon Axler, Linear Algebra Done Right.
A rigorous grounding in the theory with powerful de-emphasis of matrix methods. Without matrices, the results of the theory are very clear and intuitive. Determinants aren't even introduced (nor are they necessary) until the last chapter. There are even some cute applications in there that I haven't seen in any of those matrix theory books.