An introduction to the basic concepts of linear algebra, along with an introduction to the techniques of formal mathematics. Numerous worked examples and exercises, along with precise statements of definitions and complete proofs of every theorem, make the text ideal for independent study.