1. What can be deduced from Turing determinacy?（北京大学）
时间：2025/10/14 15:10
链接：https://mp.weixin.qq.com/s/24Vt2zuai0PXofAEyO9_nA
2. 元数学的形式基础（中山大学）
时间：2025/10/16 15:00
链接：https://mp.weixin.qq.com/s/EW-bI8YUHEp1plVcPEyn_g
3. FMP/RA/FA-Ensuring Logics: Their Boundaries and Relations（复旦大学）
时间：2025/10/17 13:30
链接：https://mp.weixin.qq.com/s/fzUalGZx12b3_CZQfmEdZg
了解每周数理逻辑活动，也可发邮件至