抽象的だから変な本という訳でもないだろ
生物や地質とかに行く学生を含めて必須でやるには抽象的すぎる気はするけど
逆に連立一次方程式で基底の個数の証明をする本があるの?