Conceptual Mathematics and Sets for Mathematics from Lawvere are really good for this purpose too. Challenging but doable with the mathematical maturity that mo

Conceptual Mathematics and Sets for Mathematics from Lawvere are really good for this purpose too. Challenging but doable with the mathematical maturity that most programmers have after extensively working with functions and types.