题名	责任者	出版社	索书号
布尔代数	吕家俊等编	山东教育出版社	O153.2/6032
布尔代数与自动机	主编王卓	甘肃科学技术出版社	O153.2/1021