周训伟著2004 年出版398 页ISBN：7504614319
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
周训伟著2009 年出版566 页ISBN：9787030257673
本书介绍了作者所创立的互逆离散数学，包括互逆解析几何、互逆微积分、互逆主义逻辑、互逆主义集合论、互逆主义抽象代数、泛矩阵，及其在计算机、人工智能、自动化等学科的三十几个领域中的应用。...
周训伟著2013 年出版482 页ISBN：9787511716118
本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...
