李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。

本书是一部以数理逻辑为主要研究对象的的数理理论专著，内容涉及集合论初步、命题和命题形式、命题逻辑、命题逻辑系统的特征、狭谓词逻辑、狭谓词逻辑系统的特征等，适合数理理论研究者参考使用。

序
第一章 集合论初步
第一节 基本概念
1.1.1 关于集合的定义
1.1.2 集合的表示方法
1.1.3 罗素悖论