请帮忙推荐一本介绍数理逻辑，集合论的书

来源：百度知道编辑：UC知道时间：2024/06/24 07:33:53

听说数学的很多概念都是用集合来定义的，这个想法很新颖啊。有没有这方面的书呢？帮忙介绍本，也希望您能注明作者
楼下的先生您看过那本书吗？能说下这本书对您有什么帮助吗？？
这本书真的好吗？？

George Tourlakis, Lectures in Logic and Set Theory (Cambridge, 2003) 分上下两卷

数理逻辑与集合论（第2版）作者石纯一

【内容简介】
数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础，全书共12章，前8章介绍数理逻辑，后4章介绍集合论。本书可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。

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

看看群论吧