当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0109秒）
为您推荐： press东北问题研究会 press社会科学研究社 press台湾社会研究杂志社 press天津社会科学院历史研究所 press华中师范学院科学社会主义研究所 press中国社会科学院西亚非洲研究所
-
-
-
-
-
-
-
现代逻辑若干问题研究
李娜编著2000 年出版186 页ISBN：7810417495国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...
-
-
-
学科分类