李涛，张岩，刘峰主编2016 年出版140 页ISBN：9787560361468
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326201
本书让孩子通过数数、排序、比较等方式熟练掌握数字21～50的运用。以动手训练链接日常生活常识来开发孩子的智力，提高孩子的认知力，在对数字的运用中掌握数字，达到开发智力的目的。...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326195
本书让孩子通过数数、排序、比较、连线等方式加深对数字1～20的理解。采用图文结合的形式，以物的数量表示数字的大小，给6岁的孩子以直观的影响，使他们易于接受知识，提高学习能力、开发智力。...
郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...
宋方敏，吴骏编著2018 年出版156 页ISBN：9787111581222
本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...
李娜编著2016 年出版306 页ISBN：9787310050628
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建......
