I wrote a book that you may enjoy, "A Programmer's Introduction to Mathematics" It spends a lot of time on the language and how to express things. The ebook is

I wrote a book that you may enjoy, "A Programmer's Introduction to Mathematics" It spends a lot of time on the language and how to express things. The ebook is also "pay what you want," so you can see if you like it before deciding I deserve your money :) https://pimbook.org https://pimbook.org