本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书既能适用于计算机专业又能满足数学系基础数学专业，为了适合不同层次的读者，在内容上有深有浅。本书适合数学系大学生、数学系教师以及数学爱好者阅读。