《集合论含有原子的自然模型和布尔值模型》是2011年
北京师范大学出版社出版的图书，作者是李娜。
《集合论含有原子的自然模型和布尔值模型》由李娜所著，不仅从理论上丰富了数理逻辑的重要分支——
公理集合论的刻画集论模型的理论，为现代逻辑的研究提供证明根据，而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合，从而为描述和模拟人类思维提供指导，为哲学应用提供更可靠的工具，对于逻辑学研究的多元化具有重要的理论意义和现实意义。
李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获
理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，
中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。