Found in 1 comment on Hacker News
menssen · 2016-09-21 · Original thread
Maybe this is off topic (but in the spirit of the question), but: High (graduate) level formal logic in a philosophy department.

Understanding (that there is) a relationship between computability theory and just basic thought is one of the (if not the) most important takeaway from my (disastrous) college career.

Benson Mates [1] is the canonical (succinct) textbook.

[1] https://www.amazon.com/Elementary-Logic-Benson-Mates/dp/0195...

Fresh book recommendations delivered straight to your inbox every Thursday.