本书采用独特的叙述方法，引导读者利用Python编程实现基本的逻辑概念和数学证明来学习数理逻辑。这种专为编程基础日益增强的当代学子量身打造的教学方法，充分契合其直觉认知与技术优势，将数理逻辑学习带入他们熟悉的编程语境，通过深度实践构建清晰认知，并借助可运行代码的创作来帮助读者获得成就感。本书主要内容涵盖命题逻辑、一阶谓词逻辑和哥德尔完备性定理证明等，配套资源包括渐进式编程实践任务集、模块化代码框架、自动化测试用例。