* The Art of Probability by Hamming. An opinionated, slightly quirky text on probability. Unlike the text used in my university course its explanations were clear and rigourous without being pedantic. The exercises were both interesting and enlightening. The only book in this list that taught skills I've actually used in the real world. * Calculus by Spivak. This was used in my intro calculus course in university. It…
* Basic Mathematics by Lang. Covers basic algebra and geometry at high school level.
Then one of these two, depending on your interests, or both:
* Vector Calculus, Linear Algebra and Differential Forms by Hubbard and Hubbard. Takes you through linear algebra, single-variable calculus and multiple variable calculus. Analysis is discussed in an appendix. All proofs have a constructive bias, so it's very algorithmic and natural for a CS-minded student. Solutions are in a separate volume.
* Program = Proof by Mimram. Discusses logic and computation, and takes you from the basics to depedent type theory and beyond. Uses OCaml and Agda. Freely available at: https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching...