¥ 8 4.4折 ¥ 18 八五品
仅1件
作者石纯一 著
出版社清华大学出版社
出版时间2000-12
版次2
装帧平装
货号0一105
上书时间2024-07-17
概述
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
— 没有更多了 —
以下为对购买帮助不大的评价