大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 逻辑学(论理学) » 现代逻辑若干问题研究
名称 现代逻辑若干问题研究
索引号 B81/9
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者 李娜、
出版社 开封：河南大学出版社，2000
ISBN 7-81041-749-5
页数 186页
价格 CNY8.00
标签 逻辑、研究、
简介
注解 本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。