题名	责任者	出版社	索书号
布尔代数及其泛化结构	杨炳儒著	科学出版社	O153.2/4792
布尔代数与自动机	主编王卓	甘肃科学技术出版社	O153.2/1021