集合论入门（英文）

　　本书是版权引进自英国剑桥大学出版社的一本原版大学数学教材，中文书名可翻译为《集合论入门》。 本书作者丹尼尔.W.坎宁安，是纽约州立大学布法罗分校的数学教授，专门研究集合论和数学逻辑。他是国际符合逻辑协会、美国数学协会和美国数学学会的成员。坎宁安曾于2013年出版著作《证明的逻辑导论》。 大学数学教材中集合论虽然是一个十分重要的内容，但国内似乎没有一本专门的教程。

暂缺《集合论入门（英文）》作者简介

目录（翻译）
1介绍
1.1基本集合论
1.2逻辑记法
1.3谓词与数量词
1.4集合论的形式语言
1.5策梅洛-弗伦克尔公理
2 基本的集合构建公理和方法
2.1前六个公理
2.2集合运算
3 关系与函数
3.1集合理论中的有序对
3.2关系
3.3函数
3.4次序关系
3.5同余
4 自然数
4.1约简集
4.2 w的递归定理
4.3 w的算数
4.4 w的序
5 集合的大小
5.1有限集
5.2 可数集
5.3不可数集合
5.4基数
6 超限递归
8 序数
9 基数