大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 现代逻辑若干问题研究 [电子资源]
名称 现代逻辑若干问题研究 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 2000
ISBN 7810417495
页数 186页
价格
标签
简介
注解 国家社会科学出版基金资助项目 河南大学学术著作和教材出版基金资助:通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论孭了关Ӛ公理集合论的研究成果。