山东大学哲学与社会发展学院

首页 > 朱雀博士论坛 > 原典书会 > 正文

数理逻辑读书会

来源: 时间: 作者: 编辑: 字号: 阅读:

读书会材料:Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd edition, Harcourt/Academic Press, 2001.
读书会目标:一阶逻辑模型论和证明论
目标学生:1. 对数理逻辑感兴趣;2.已参加上学期数理逻辑读书会的同学。
时间和地点:每周三晚19:00-21:30, 腾讯会议。

相关内容:

读取内容中,请等待...