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.
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...