本书介绍的布尔代数、自动机的内容，除了为适应系统性要求而包含有基础知识外，还有布尔代数和自动机的较为...
2006.04
本书从数理逻辑与抽象代数相结合的“综合基”上构筑布尔代数的新框架与新体系，其内容适应了当今复杂对象推理...
2006.