/sci/ - Science & Math

What are the best places for a CS major to start with math? Mainly for recreation, I don't have ambitions to go to grad school for math or anything. I have moderately developed proof writing skills because most of my theory classes were extremely proof heavy, but I never learned DFQ and barely any vector Calc. My linear algebra course was also a complete joke and we never did any proofs. I was thinking of reading All the math you missed by Garrity and picking the topics that interest me. Is this a decent way to go about it or should I really go back to something like spivaks calculus or a proof based linear algebra book?