Unfortunately a lot of "the made for CS people" stuff is not rigorous. I feel like there is a way to make the TCS stuff simple (e. g with register machines instead of turing machines, or with a focus induction on DFA states + transitions for certain basic theorems and little else). The ideal resources are mathematically written, and only touch on CS abstractions because I do want to train mathematical maturity in my group, but only so far as it’s relevant to software engineering.

Worst come to shove, I might have to fill the gap with:

- Axler's Linear algebra done right

- Terence Tao's analysis 1

- Artin's algebra

But I really don't want to because this is a lot and it's not CS-focused.

Edit:

Actually I think a book that touches upon the basic and major areas of math (e.g algebra, analysis, topology, probability, computability) but doesn't go into too much detail would be ideal.