Learning Linear Algebra rigorously?

No.11567720 ViewReplyOriginalReport
I'm a CS major with an obsession in learning stuff in a rigorous way. I'm currently choosing between Halmos' Finite Dimentional Vector Spaces and Hoffman and Kunze's Linear Algebra. What's the best choice out there?