作者	周训伟
出版社
出版时间	2004-04-01

特色：

北京市自然科学基金委员会资助出版:本书共分五篇，分别是互逆主义逻辑演算；互逆主义集合论；互逆主义抽象代数；互逆主义证明论与互逆主义模型论；互逆主义递归论。