海角社区

您所在的位置: 海角社区  >  学术研究  >  学术信息  >  正文

【11月9日】Normal forms of proofs in natural deduction I: existence and uniqueness——逻辑与哲学系列讲座第28讲

点击次数:  更新时间:2022-11-01