本书通过对逻辑推理的学习和训练,有效地提高考生的实战能力。
2003.08
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写...
2003.06
本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。
2003.
本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻...
2004.01
本书介绍数理逻辑的基础部分。
2003.
本书分4部分,第一部分讲述与演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性...
2003.08