本书共分四篇。第一篇为数理逻辑，介绍命题逻辑和谓词逻辑的基本概念和运算。第二篇为集合论。介绍集合的概念和运算、二元关系和函数等。第三篇为代数系统，介绍二元运算的基本性质以及半群、独异点、群、格、布尔代数、环和域等。第四篇为图论，介绍图的基本概念以及欧拉图