囤一囤各种有不同重点的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
这个企划挺好的
杂
logic supergroup UConn组织的超级大杂烩
metatheory latex 这个link也有很多latex资源(by Arc Kocurek)。
PREVIOUSVerification