张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
邢滔滔著2008 年出版274 页ISBN：9787301112557
本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后......
黄志洵著2011 年出版303 页ISBN：9787502634254
本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511325907
本书是针对4岁儿童的认知水平编写的低幼读物，侧重于训练儿童对数字及数量的概念的认知与理解。通过简单的数字练习，使儿童掌握10以内的数字的写法与数的概念。...
