More Theoretical and Less Computational Linear Algebra Textbook I found what seems to be a good linear algebra book.  However, I want a more theoretical as opposed to computational linear algebra book.  The book is Linear Algebra with Applications 7th edition by Gareth Williams.  How high quality is this?  Will it provide me with a good background in linear algebra?

1) Linear Algebra by Hoffman and Kunge,
2) Linear Algbra by G. Strang,
3) Linear Algebra by Helson,
4) Introduction to linear algebra by V. Krishnamurthy
5) University Algebra by N. S. Gopalkrishanan
6) A First Course in Abstract Algebra by Fraleigh, J. B.
If you explain what you exactly want? then I can suggest u better also.
