Comment by RedCinnabar

Maybe I should’ve been more clear: what I meant is that these programmers-oriented resources are all about applications…maybe a bit too much. For instance, In this book I cannot find the algebraic structure of vector spaces, theorems about how certain linear operators such as the kernel or the image led to subspaces (which is a very important result) or a proper introduction to the spectral theorem, for both Euclidean and Hermitian spaces (which also allows you to introduce some nice functional analysis).