评分
本书共分8章, 分别为命题逻辑、一阶逻辑、集合、二元关系和函数、代数系统、格与布尔代数、图论和树。在结构体系上, 首先介绍数理逻辑及集合相关内容 ; 其次介绍关系及代数系统 ; 最后介绍图论与树的相关知识及应用。