本书是数理逻辑课程的经典教材。
2006.12
本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻...
2006.11
本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，...
2005.
本书是数理逻辑课程的教材。
2006.01
2005.
本书介绍数理逻辑的基础部分。
2003.
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性...
2003.08