您所在的位置： 老金沙9170登录入口  >  学术研究  >  学术信息  >  正文

学术研究

【4月26日】On the (non)existence of good proof systems in universal proof theory——逻辑与哲学系列讲座42讲

点击次数：  更新时间：2023-04-20


版权所有©2018 老金沙9170登录入口(官方认证)-App下载    地址：中国 武汉 珞珈山    邮编：430072    邮箱：phil@whu.edu.cn