（已有10条评价）基本信息
- 作者： 石纯一
- 丛书名： 清华大学计算机系列教材
- 出版社：清华大学出版社
- ISBN：7302040427
- 上架时间：2001-10-15
- 出版日期：2000 年12月
- 页码：224
- 版次：2-1
- 所属分类：数学 > 数理逻辑
教材 > 研究生/本科/专科教材 > 理学 > 数学
内容简介
目录
第1章：命题逻辑的基本概念
第2章：命题逻辑的等值和推理演算
第3章：命题逻辑的公理化
第4章：谓词逻辑的基本概念
第5章：谓词逻辑的等值和推理演算
第6章：谓词逻辑的公理化
第7章：一阶形式理论及模型
第8章：证明论中的逻辑系统
第9章：集合
第10章：关系
第11章：函数
第12章：实数集合与集合的基数
第2章：命题逻辑的等值和推理演算
第3章：命题逻辑的公理化
第4章：谓词逻辑的基本概念
第5章：谓词逻辑的等值和推理演算
第6章：谓词逻辑的公理化
第7章：一阶形式理论及模型
第8章：证明论中的逻辑系统
第9章：集合
第10章：关系
第11章：函数
第12章：实数集合与集合的基数
