The most-mentioned books on r/logic.
Looking for more? Similar subreddits are algorithms, AskStatistics, chomsky, datascience, and skeptic.