A First Course in Linear Algebra is an introduction to the basic concepts of linear algebra, along with an introduction to the techniques of formal mathematics. It begins with systems of equations and matrix algebra before moving into the theory of abstract vector spaces, eigenvalues, linear transformations and matrix representations. It has numerous worked examples and exercises, along with precise statements of definitions and complete proofs of every theorem, making it ideal for independent study.