Ask HN: Math books for a CS autodidact?

I am a full-stack web developer in my mid thirties and am mostly self-taught. Over the years I've build a good base of working knowledge, but lack the theoretical backgrounds. So to rectify that, I want to start (re)building my math skills from ground up.

My goal is to acquire enough knowledge to properly understand "Concrete Mathematics" (by Graham, Patashnik, Knuth), followed by CLRS and SICP. I'm searching for books that meet these criteria:

1. They must build "from the ground up". My brain has pretty much forgotten all of high school math. For instance, I can't even do division on paper.

2. I have a full time job, so the books should be pleasant to read and pedagogically well constructed.

3. No skipping over details, i.e. no books that are just collections of definitions and theorems. As someone else here on HN put it, I'd prefer them to "be written by mathematicians, for mathematicians".

4. Good exercises with solutions.

I've already found a few suggestions in other threads:

* An Introduction to Mathematical Reasoning: Numbers, Sets and Functions (Eccles)

* How to Solve it: A New Aspect of Mathematical Method (Conway, Polya)

* Calculus (Spivak)

* Linear Algebra Done Right (Axler)

Can I read those in order before proceeding to "Concrete Mathematics"?

Thank you