《数学奥林匹克命题人讲座:集合与对应》分为两个部分，第一部分为集合，第二部分为对应，由以前写的两本小册子《集合及其子集》与《对应》合并后经适当修订而成。 集合论，是全部数学的基础。数学大师康托尔(Cantor)建立了基数、序型等重要概念，将研究从有限集推进到无限集，创立了集合论这一数学分支。近30年来，随着组合数学的蓬勃发展，关于有限集及其子集族，又有很多的研究，得出了很多重要而且优美的结果。“对

集合与对应

《集合及其子集》由上海教育出版社出版。

集合及其子集

集合论与连续统假设浅说

《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本，书中介绍了集合论的基础知识，共有集合与公理，关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合论的基本概念，还讨论了可构成集、力迫法等现代内容，同时还讨论了与连续统假设相关的一些哲学问题。