现代逻辑若干问题研究

国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。