盛世清北，专注北大清华考研辅导近10年，盛世清北-北大考研辅导班开设北京大学820数理逻辑考研辅导系列课程。上清华北大，就上盛世清北！

适用院系

北京大学哲学系

参考书目　　

《数理逻辑》汉密尔顿，朱水林译 华东师大出版，1986年。 

《模态逻辑》周北海，中国社会科学出版社，1996年5月。