本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻...
2005.06
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
2005.10
本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。
2005.07
本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，...
2005.
本书是数理逻辑课程的教材。
2006.01
2005.