读书会名称：数理逻辑读书会

读书会材料：Herbert B. Enderton,A Mathematical Introduction to Logic, 2nd edition, Harcourt/Academic Press, 2001.

读书会目标：通过阅读本书的基本内容，夯实数理逻辑技术，理解形式化方法的优势和局限，为进一步地逻辑学研究打下基础。

目标学生：对数理逻辑感兴趣且有一定逻辑学基础的同学。

时间和地点：每周六18:00-21:00， 知新楼A 1418

指导教师：梁飞