Mathematical Logic数理逻辑资源合集

数理逻辑资源的合集，下载方便，内容还挺全。里面有像Mathematical Logic In The 20th Century这样比较经典的逻辑书，也有不少哈工大任世军老师的课件，做前端搞算法或者要查点逻辑理论的时候，直接拿来用挺省事。配套的ppt、图文版pdf啥的也都能找到。嗯，有时候突然想查某个定理的原文，省得你满网翻。需要注意，.torrent资源用迅雷之类的工具下载比较顺手，别用浏览器直接点，体验一般。如果你平时搞算法竞赛或者代码推理，这些资料真的还挺有用，可以直接收藏一波。