布尔代数——高等学校教学参考书，是数理逻辑、计算机等学科的必读的基础知识。