本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
2009.03
本书是罗素的数理哲学的通俗著作。在本书中罗素以他的明白晓畅的笔法陈述了数学原理研究中确定的研究结果。
2009.06
本书对现代数理逻辑的基本内容进行了系统的、由浅入深的精确介绍。
2008.10
本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原...
2008.
本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、...
2008.
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经...
2008.04
本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模...
2008.
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用...
2007.
粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的...
2007.
本书共分两部分，第一部分描述了数理逻辑的一些原理，较深入地挖掘了无限性问题；第二部分讨论空间、时间，...
2007.07