互逆主义逻辑、数学和它们的应用PDF电子书下载

图书介绍：本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对其使用加以限制。该方法是作者提出并发展的。已出版过几本中文专著，此次出版英文版，是作者的一次学术总结，并获得学校的学术基金的资助。