本书第一版于1989年5月作为电子类“七五”规划教材由西安电子科技大学出版社出版。最近，根据原电子工业部《1996—2000年全国电子信息类专业教材编审出版规划》，该书修订后再次出版。全书共分七章，主要内容有命题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。本次修订根据原国家教委对大专层次的理论教学以够用为度的原则，并根据近几年来大专计算机教学的需要进行。在内容的选择上，将删去原书中一些不适合大专教学的较难部分或与前后内容联系不大的概念；将原书的第6、7两章合并为现第6章，简化了对代数系统的研究；对一些难度较大的内容增补了一些例子，并提供不同学时的选择。在修订中保留原书由浅入深，由直观到抽象，通俗易读，用图解的方法来形象地描述一些概念、关系和算法等特色，进一步做到概念清晰、准确、推理严谨。本书既可作为普通专科院校、职业大学、职工大学的计算机专业教材，也可作为非计算机专业相应课程的教材或教学参考书。