证明论语义学的核心问题研究
项目信息
项目名：
证明论语义学的核心问题研究
项目批准号：
16CZX052
项目类别：
青年项目
学科分类：
哲学
项目负责人：
周志荣
立项年份：
2016-06-16
计划结项时间：
2022-12-06
专业职务：
副高级（副教授、副研究员等）
工作单位：
中南财经政法大学
单位类别：
暂无数据
所在省区：
湖北省
所属系统：
其他
点击量：
9
成果展示
成果：
1.证明论语义学的核心问题研究 ； 2.自然演绎——一种证明论的研究
成果类型：
专著
成果等级：
合格
结项证书号：
20224236
出版社：
暂无数据
作者：
暂无数据
出版时间：
暂无数据
获奖情况：
暂无数据
