本书是教育部“普通高等教育‘卓越工程师’创新系列教材”之一. 全书包括命题逻辑、谓词逻辑、二元关系、集合论、图论、初等数论及代数系统共7章内容. 本书充分考虑到了读者的需要, 内容丰富、理论体系完整；叙述严谨、循序渐进；例题讲解步骤详细, 对每一章的习题都作了精心的挑选和组织.