凌壹社科
基金查询
AI润色
新闻公告
趋势报告
经验分享
精品课程
国自然项目查询
登录
注册
证明论语义学的核心问题研究
基本信息
项目批准号：
16CZX052
项目类别：
青年项目
学科分类：
哲学
项目负责人：
周志荣 副高级
工作单位：
中南财经政法大学
单位类别：
211高校
立项时间：
2016-06-16
所在省市：
湖北 武汉
结项信息
结项证书号:
20224236
结项时间：
2022-12-06
成果名称：
证明论语义学的核心问题研究；自然演绎——一种证明论的研究
成果形式：
专著
成果作者：
-
成果等级：
合格
出版社：
-
出版时间：
-
获奖情况：
-
整理前信息
项目名称：
证明论语义学的核心问题研究
结项证书号：
20224236
项目类别：
青年项目
立项时间：
2016-06-16
项目负责人：
周志荣
专业职务：
副高级（副教授、副研究员等）
工作单位：
中南财经政法大学
所在省区市：
湖北
所属系统：
-
学科分类：
哲学
成果名称：
1.证明论语义学的核心问题研究 ； 2.自然演绎——一种证明论的研究
成果形式：
专著
成果等级：
合格
结项时间：
2022-12-06
出版社：
-
出版时间：
-
成果作者：
-
获奖情况：
-