大约有2,000项符合查询结果项。（搜索耗时：0.0121秒）
为您推荐：
华东师范大学政教系逻辑教研室
华东师范大学政教系逻辑教研室编
陕西师范大学政教系马列主义基础教研室
press南京师范学院政教系政治经济学教研组
南京师范学院政教系政治经济学教研组选
福建师范大学政教系资料室
-
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
-
-
张清宇主编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：
