I only took a non-rigorous linear algebra course (It was designed for non-math students). I finished most of Hungerford's algebra. Now I have two choices to study more advanced linear algebra: Hoffman's linear algebra, Finite dimensional vector spaces by Halmos. I already looked at the first chapter of both books. I think Halmos goes at a faster pace which is something I like. Would I miss anything if I start learning the book of Halmos instead of Hoffman's ?