1. Reverse Mathematics and Ramsey Typed Theorems（中国科学院）
时间：2025/10/22 14:00-16:00
链接：https://mp.weixin.qq.com/s/6RbVNpU9CZixrtrshWnFwg
2. 南开逻辑讲座第八十二期--George Barmpalias（南开大学）
时间：2025/10/24 16:00
链接：https://mp.weixin.qq.com/s/55BS_LLR6GIqE3Nh4VheWw
了解每周数理逻辑活动，也可发邮件至