逻辑在计算机科学中的重要作用不言而喻。全书的观点、体系、内容甚至习题都是现代化的。