清华大学计算机系列教材：数理逻辑与集合论

　　概述
　　第1章 命题逻辑的基本概念
　　第2章 命题逻辑的等值和推理演算
　　第3章 命题逻辑的公理化
　　第4章 谓词逻辑的基本概念
　　第5章 谓词逻辑的等值和推理演算
　　第6章 谓词逻辑的公理化
　　第7章 一阶形式理论及模型
　　第8章 证明论中的逻辑系统
　　第9章 集合
　　第10章 关系
　　第11章 函数
　　第12章 实数集合与集合的基数

　　《清华大学计算机系列教材：数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。