1. 代数性猜想与可定义群(中山大学)
时间:2026/04/21 15:00
链接:https://mp.weixin.qq.com/s/w-IzdNvIe1nYfHzQFVjcZg
2. Dynamic Logic of Propositional Assignments(北京大学)
时间:2026/04/21 15:10-18:00
链接:https://mp.weixin.qq.com/s/BnByZWtd92XwxOEO3jONtg
3. 贝纳塞拉夫问题与弗雷格“第三王国”的可通达性(中山大学)
时间:2026/04/23 19:00
链接:https://mp.weixin.qq.com/s/hLYBSyxNL6UgLhl9DiAshQ
4. 自指性命题的形式刻画(山东大学)
时间:2026/04/23 19:00-21:00
链接:https://mp.weixin.qq.com/s/BhWsgWFhoLBolt1gpm12bQ
5. 南开逻辑讲座第九十六期--Jeffrey Bergfalk(南开大学)
时间:2026/04/24 16:00
链接:https://mp.weixin.qq.com/s/lAQERrao82tPdcLjgcIPLg
了解每周数理逻辑活动,也可发邮件至