[讨论班&读书会]王春丽博士生与张冒玲硕士生报告
2018-10-31
[现代逻辑讨论班]董淑亮硕士生报告:基于有名字世界的联盟逻辑
2018-09-27
[现代逻辑讨论班]张玉志博士生报告:一个时态认知逻辑的新系统——基于对认知算子的时态化处理
2018-09-19
[哲学/逻辑读书会]可计算性逻辑介绍
2018-04-27
[哲学/逻辑读书会]“逻辑真”读书会活动及预告
2018-03-25
共45条 首页上页12345下页尾页 /5页 跳转