本书系统阐述数理逻辑核心理论，重点挖掘逻辑与计算之间的深刻关联，兼顾理论深度与应用导向。本书从语法角度全面介绍了该学科的基本成果与方法，强调逻辑作为一门学科，研究的是形式语言、系统及其正确运用。涵盖的主题包括证明论、模型论、可计算性理论以及公理化基础，尤其着重阐述计算机科学中至关重要的数学逻辑方面，如演绎系统、构造性逻辑、简单类型lambda演算以及类型论基础。