您所在的位置: biwn必赢  >  学术研究  >  学术信息  >  正文

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

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