This remarkable book takes a unique approach to linear algebra, presenting a logically interconnected sequence of 2,400 propositions and problems with hints and pointers, but without proofs. Advanced undergraduates and graduate students work out formal proofs systematically, proceeding from simple verifications to advanced strategies and techniques. 1974 edition.
