现代逻辑若干问题研究 [电子资源]


名称	现代逻辑若干问题研究 [电子资源]

索引号
分类号	(\| 08 环境公报)
作者
出版社	, 2000
ISBN	7810417495
页数	186页
价格
标签
简介
注解	国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论孭了关Ӛ公理集合论的研究成果。