[BFay]

I really like Jeremy Kun's writing: https://jeremykun.com/ and recommend his book, A Programmer's Introduction to Mathematics: https://pimbook.org/.

So far I've only read the first few chapters of the book, and the exercises often feel too difficult to me. But I think he does a great job of easing into mathematical notation, pausing to reflect on what a seasoned mathematician might be thinking when they come across that notation. He also makes a lot of analogies to programming, and has example programs that are easy to follow. It's helpful to have that angle to understand things from.