数理逻辑 Logic for Mathematicians 课件PPT：北京大学信息科学系林作铨老师主讲



数理逻辑 Logic for Mathematicians：北京大学信息科学系林作铨老师主讲
课程主页http://www.math.pku.edu.cn/teachers/linzq/
（主页可能随开课情况随时变化）
参考教材 Logic for Mathematicians（Revised Edition）
A.G.Hamilton，清华大学出版社（影印版）