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

读书会目标：一阶逻辑模型论和证明论

目标学生：1. 对数理逻辑感兴趣；2.已参加上学期数理逻辑读书会的同学。

时间和地点：每周三晚19:00-21:30， 腾讯会议。