学习计算机的基础书籍，很值得一读，很清楚的介绍了数理逻辑，集合论，图论，代数系统，同时此书也是进阶计算机后续课程的首选之作。