本书集合理论篇包括:集合的基本概念,关系,函数;抽象代数篇包括:代数系统及其性质,几个典型的代数系统,格与布尔代数;数理逻辑篇包括:命题逻辑,一阶谓词逻辑,谓词演算的推理理论;图论包括:图,特殊图等内容.