带否定算子的兰贝克演算研究
发布时间：2019-11-26 点击数：
所属单位：哲学与社会发展学院
论文名称：带否定算子的兰贝克演算研究
发表刊物：逻辑学研究
关键字：兰贝克演算;;否定;;根岑系统;;判定性
第一作者：林哲
全部作者：梁飞
论文编号：80594
期号：03
是否译文：否
发表时间：2018-09
梁飞 (教授)
教授 博士生导师 硕士生导师
性别：男
出生日期：1988-06
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
所在单位：哲学与社会发展学院
入职时间：2018-11
所属院系： 哲学与社会发展学院
职务：科研教师
办公地点：山东大学中心校区知新楼A 1603室
联系方式：
访问量：
最后更新时间：..
最后更新时间：..