Хороший учебник по линейной алгебре, есть выводы и и доказательства теорем, сам часто в него заглядываю перед контрольными, есть примеры и дается пояснение более менее понятным языком.