本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容...
2017.11
作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者...
2016.11
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基...
2016.8
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语...
2014.11
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。本书内容主要侧重于逻辑演算：即命题逻辑...
2011.11
本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、...
2011.10
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻...
2010.7
本书对现代数理逻辑的基本内容进行了系统的、由浅入深的精确介绍。
2008.10
本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻...
2006.11
本书介绍数理逻辑的基础部分。
2003.