杨守廉主编1987 年出版479 页ISBN：7810140558
本书是根据1986年国家教育委员会制定的中学教师专业合格证考试《数学教学大纲》编写的。
王卓主编；黄景廉副主编；王文康，纪金水，李春蔚编著2006 年出版215 页ISBN：7542410431
本书介绍的布尔代数、自动机的内容，除了为适应系统性要求而包含有基础知识外，还有布尔代数和自动机的较为深入的知识和较为广泛的应用。...
陈强主编；冯启廉副主编；郑子干，刘毅，郑舟杰，罗树艺参编；张中洲，ERNST NAUSCH（德国）主审2012 年出版343 页ISBN：7308099042
