To make the book logically self-contained, I present a proof of every basic result of linear algebra. The emphasis is not on computational techniques, although the coordinate-free approach does make ...