大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础 » 数理逻辑与集合论
名称 数理逻辑与集合论
索引号 O14/901
分类号 O14
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者
出版社 北京 : 清华大学出版社, 1990
ISBN 7-302-00557-5
页数 300页 ; 21cm
价格 CNY2.30
标签
简介
注解 本书介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及分理系统，并介绍集合论，包括 集合、关系、函数、实数集与基数・