Re:The Mathematics Autodidact’s Aid (2005) [pdf]
by imakecomments on Thursday March 23, 2017 @02:15PM
(#13942478)
I'm mostly interested in "modern" mathematical logic then. I'm very interested in learning category theory and its connections to programming language theory. I already know a little bit of category theory, but am open to any good beginner sources. I'm also interested in classic recursion theory and a bit of proof theory with its connections to CS. I don't know many people doing any of this and it doesn't seem that popular in math departments.
If you want to learn modern mathematical logic you're in for a rough time, since you'll basically have to learn category theory in order to understand the few really excellent textbooks which exist (e.g. Sketches of An Elephant). If you are interested in type theory you should try reading the Homotopy Type Theory book, which is (mostly) self contained.