[imakecomments]

I'd like to see a list like this that included the field of mathematical logic. For whatever reason mathematical logic no longer seems to be a "popular" area of research, despite its deep connection to theoretical computer science. But there are distinction in study, as computer scientist tend not to go deeply into computability theory like a traditional mathematician would.

[fmap]

What exactly are you trying to learn? Mathematical logic is a huge field in its own right, with plenty of topics that are of historical interest and a lot of active research areas.

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.

[imakecomments]

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.

[wolfgke]

Category theory is not logic.

[plinkplonk]

Perhaps not quite what you are looking for, but I've found the book reviews etc on this site very useful

http://www.logicmatters.net/tyl/

[ExternalCenter]

I think I understand why. Mathematical logic research has largely become focused on problems that, while important, seem very arcane from an outsiders perspective (even by the standards of other fields of math). The fundamental results of classical recursion/computability theory can be developed and presented with a fairly small amount of logic (see something like Cutland or Cooper). I'm not really super informed on the current state of the field though, so I may be misjudging the situation.

[mrkgnao]

My Hackernews!

http://www.logicmatters.net/tyl/