Logic

 

囤一囤各种有不同重点的logic课

From CS

CSE 371 Logic @ stonybrook
授课老师出的书里面还介绍了各种proof system,很快地过了(对吃饭比较有帮助的)non-classical logic

更PL一点的Applied Logic课:
这种课感觉更注重DPLL, BDD, SMT这一路东西

Işıl Dillig的ALR 比较硬

Lucas Bang的感觉更亲民一些

Emina Torlak的 更注重solver的applications

Lindsey Kuper 有个很accessible的talk

From Math

林作铨的数理逻辑

否则就是读集合论之类的东西吧 DS这个时候会推荐Kunnen的Foundation of Math那本书

Philosophical Logic

Justin Blendin 的很多课都很好!
这里列一下他开过的logic相关的课:
很简短&深入的介绍了很多东西
Formal Methods in Philosophy

A Historical Perspective

这个企划挺好的

Undecidability of FOL

logic supergroup UConn组织的超级大杂烩

metatheory latex 这个link也有很多latex资源(by Arc Kocurek)。