本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法...
2016.4
本书是数理逻辑和集合论的基础语言。共8章，前5章是数理逻辑部分：第1～3章是数理逻辑，包括命题逻辑、谓词...
2016.1
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一...
2014.3
本书从一道前南斯拉夫数学奥林匹克试题谈起，以粗犷的线条，简明的介绍了麦卡锡函数、阿克曼函数及递归函数...
2012.8
数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分...
2012.1
本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为...
2010.8
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经...
2008.04
本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模...
2008.