3 ms·

I really like Axler's Linear Algebra Done Right. It's all conceptual (i.e., proofs), and doesn't focus on computation at all.