广义析舍的逻辑系统及其证明论与复杂性研究
项目信息
项目名：
广义析舍的逻辑系统及其证明论与复杂性研究
项目批准号：
10BZX055
项目类别：
一般项目
学科分类：
哲学
项目负责人：
刘新文
立项年份：
2010-06-17
计划结项时间：
2012-03-17
专业职务：
副高级（副教授、副研究员等）
工作单位：
中国社会科学院哲学研究所
单位类别：
暂无数据
所在省区：
社科院
所属系统：
中国社会科学院
点击量：
6
成果展示
成果：
广义析舍的逻辑系统及其证明论与复杂性研究
成果类型：
专著
成果等级：
良好
结项证书号：
20120454
出版社：
暂无数据
作者：
暂无数据
出版时间：
暂无数据
获奖情况：
部分内容在第二、三届“中国社会科学院哲学所青年论坛”连续两次获一等奖
