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