Linear Algebra: With Applications 
Otto Bretscher 

Used at Carleton College – nice explanations, and quite a few proofs. Presents information primarily by providing examples, definitions/axioms and then proofs.