大约有2,000项符合查询结果项。（搜索耗时：0.0121秒）
为您推荐：
press北京师范大学哲学系逻辑教研室
中国人民大学哲学系逻辑教研室
南开大学哲学系逻辑学教研室著
press辽宁大学哲学系逻辑教研室
东北师范大学哲学教研室逻辑学教学小组
南开大学哲学院逻辑学教研室著
-
张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
-
（波兰）塔尔斯基著2009 年出版259 页ISBN：9787100064521
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
-
朱梧槚著2008 年出版317 页ISBN：7561140312
本书主要介绍了数学无穷与数学基础，潜无限数学系统与重建实无限数学系统的构想。
-
胡世华，陆钟万著2017 年出版233 页ISBN：7030464217
-
复旦大学数学系编著1960 年出版277 页ISBN：13119·382
-
（美）约翰·阿伦·保罗斯（John Allen Paulos）著；史树中等译2001 年出版203 页ISBN：7532357295
-
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
-
刘治旺，邵春林，毕富生，赵哈黎编1982 年出版290 页ISBN：
-
黄和之编著1992 年出版273 页ISBN：7563801464
本书内容包括数理逻辑，集合论，二元关系三部分。
-
黄志洵著2011 年出版303 页ISBN：9787502634254
本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...
