1. Two-Sorted Social Friendly Coalition Logic (北京大学)
时间:2025/04/01 15:10 - 18:00
链接:https://logic.pku.edu.cn/xzdt/ltjh/540486.htm
了解每周数理逻辑活动,也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知,或者关注微信公众号:数理逻辑视界
1. Two-Sorted Social Friendly Coalition Logic (北京大学)
时间:2025/04/01 15:10 - 18:00
链接:https://logic.pku.edu.cn/xzdt/ltjh/540486.htm
了解每周数理逻辑活动,也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知,或者关注微信公众号:数理逻辑视界