Tried to pick a book to get into linear algebra recently, the experience was fairly hellish. First course this, second course that, done right, done wrong... I'd to the LADR4e route, but I don't have the proof-it chops yet...
replies(5):
Be aware that Lang has another book, called just "Linear Algebra", which is more theoretical.