本书虽按公理方法的基本要求展开的,但仍以初等集合论为中心,是一本数理逻辑的入门书,为命题逻辑和谓词逻辑提供了直观背景。全书共分17章,依次介绍了集合论的基本概念,证明与逻辑;集合的初等运算;极小元与正则公理,自然数集合与数学归纳法;幂集合;集合的广义交与并;笛卡尔积与分离公理;关系、函数;自然数的函数、递归定理;超幂与超积;偏序结构与良基关系;等价与同构;整数与有理数;实数的构造;序数与超穷结构;集合的势。另外,在附录中作者简要叙述了ZF公理系统。
本书可作为中学数学教师进修用书,也可供高中学生、大专学生的阅读参考书。
科学出版社1984年9月第1版,19.3万字,责任编辑:陈永锵、毕颖。