题名	责任者	出版社	索书号
集合论含有原子的自然模型和布尔值模型	李娜著	北京师范大学出版社	O144.3/440