Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation

https://www.amazon.com/Good-Math-Computation-Pragmatic-Progr...

A great review of college math and CS. The book goes over FOPL, Set theory, Turing machines and lambda calculus among other things. A fun read!