Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation https://www.amazon.com/Good-Math-Computation-Pragmatic-Programmers/dp/1937785335/ref

Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation https://www.amazon.com/Good-Math-Computation-Pragmatic-Programmers/dp/1937785335/ref=sr_1_1?ie=UTF8&qid=1484554405&sr=8-1&keywords=good+math 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!