Home» News» News» 2月28日Conden Chao报告：Introduction to High Order Logic

News

2月28日Conden Chao报告：Introduction to High Order Logic

发布日期：2017-02-28 作者：

2017年2月28日下午Conden Chao做了高阶逻辑简介的报告，报告内容丰富，详细内容请参考讨论班通知处的附件。点评人觉得不错。小编就是点评人。


发布时间：2017-02-28 19:25:04