In the early paragraphs, it shows:

∀ n ∈ N n2 + n + 41

It goes on to tell what ∀ means, and what N means, but excludes ∈.

This tells me there is a level of maths prerequisites required. For those of us who had liberal arts backgrounds with very little math who are programmers by sweat and knack, where can one go to get enough training to be ready to read something like this? I'd love to get through it and finally feel I'm on equal footing with some of my CS-trained peers (and actually be able to leverage the concepts at work) but seeing this early in the book leads me to believe I need some prerequisites first.

Thanks for your advice.