书目详细信息
： 现代逻辑若干问题研究
书目信息 机读格式(MARC)
| ISBN/价格： | 7-81041-749-5:CNY8.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 410000 |
| 题名责任者项： | 现代逻辑若干问题研究/.李娜[著] |
| 出版发行项： | 开封:,河南大学出版社:,2000.6 |
| 载体形态项： | 186页:;+21cm |
| 一般附注： | 国家社会科学基金资助项目 河南大学学术著作和教材出版基金资助 |
| 提要文摘： | 本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。 |
| 中图分类： | B81 |
| 个人名称等同： | 李娜 著 |