【10BZX055】广义析舍的逻辑系统及其证明论与复杂性研究 - 国社科查询⽹站

广义析舍的逻辑系统及其证明论与复杂性研究

基本信息

项目批准号： 10BZX055

项目类别：一般项目

学科分类：哲学

项目负责人：刘新文副高级

工作单位：中国社会科学院哲学研究所

单位类别：中国社会科学院

立项时间： 2010-06-17

所在省市：北京

结项信息

结项证书号: 20120454

结项时间： 2012-03-17

成果名称：广义析舍的逻辑系统及其证明论与复杂性研究

成果形式：专著

成果作者： -

成果等级：良好

出版社： -

出版时间： -

获奖情况：部分内容在第二、三届“中国社会科学院哲学所青年论坛”连续两次获一等奖

整理前信息

项目名称：广义析舍的逻辑系统及其证明论与复杂性研究

结项证书号： 20120454

项目类别：一般项目

立项时间： 2010-06-17

项目负责人：刘新文

专业职务：副高级

工作单位：中国社会科学院哲学研究所

所在省区市：社科院

所属系统： -

学科分类：哲学

成果名称：广义析舍的逻辑系统及其证明论与复杂性研究

成果形式：专著

成果等级：良好

结项时间： 2012-03-17

出版社： -

出版时间： -

成果作者： -

获奖情况：部分内容在第二、三届“中国社会科学院哲学所青年论坛”连续两次获一等奖