"论述深入浅出、脉络清晰，语言上细致、清晰、形象，内容上讲解地犹如讲课一般，易于理解。
?在介绍数理逻辑知识之前，介绍数理逻辑的基本思想以及元数学；在介绍命题逻辑与谓词逻辑时，引入自然推理系统和公理推理系统这两类形式系统。
?对哥德尔完备性定理、哥德尔不完全性定理、以及与计算机领域密切相关的可计算性理论进行介绍。
?对数学知识要求不高，具备高中数学知识基础的读者也可掌握本书的绝大部分内容，适合不同学科背景人员自学。
?可以与编者所著《集合论基础教程》配套使用，有助于相互促进对于集合论和数理逻辑知识的理解。
?使用方式灵活。前6章内容可以供数理逻辑课程一个学期使用，后两章可以结合具体教学情况选用。
?配套教学课件与习题，便于课堂教学和课后巩固。
"