作者	李娜
出版社
出版时间	2000-06-01

特色：

本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。