Introduction to Linear Algebra, Gilbert Strang, 2016 (Wellesley-Cambridge Press) - Classic textbook providing a comprehensive foundation in linear algebra, including vector spaces and their axioms.
Linear Algebra (18.06SC), Gilbert Strang, 2011 (MIT OpenCourseWare) - University course material offering a rigorous introduction to linear algebra, including formal definitions of vector spaces.