Found in 2 comments on Hacker News
tjr · 2017-12-08 · Original thread
Looking forward a bit, there's an update to The Reasoned Schemer due out in February: https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535...
This book like no other just makes me smile. I read this right after I graduated and started my "real" learning in programming and math. The intermission page list books on logic and set theory.

FYI: it is the first book in a "trilogy" -- but your next book could be either of the other two (their only prereq is The Little Schemer). Listed below:

Reasoned Schemer: http://www.amazon.com/Reasoned-Schemer-Daniel-P-Friedman/dp/... Seasoned Schemer: http://www.amazon.com/Seasoned-Schemer-Daniel-P-Friedman/dp/...

Fresh book recommendations delivered straight to your inbox every Thursday.