李娜编著2010 年出版271 页ISBN：9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
周训伟著2013 年出版482 页ISBN：9787511716118
本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...
周训伟著2004 年出版398 页ISBN：7504614319
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
李娜2006 年出版326 页ISBN：7310023730
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
