Found in 1 comment on Hacker News
codesushi42 · 2017-01-16 · Original thread
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!

Fresh book recommendations delivered straight to your inbox every Thursday.