互逆主义数理逻辑 - 暨南大学珠海校区图书馆


名称	互逆主义数理逻辑

索引号	O141/7
分类号	O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	周训伟、
出版社	北京：中国科学技术出版社，2004
ISBN	7-5046-1431-9
页数	398页
价格	CNY30.00
标签	数理逻辑、研究、数学、逻辑、
简介
注解	本书共分五篇，分别是互逆主义逻辑演算；互逆主义集合论；互逆主义抽象代数；互逆主义证明论与互逆主义模型论；互逆主义递归论。