面向计算机科学的数理逻辑（第二版）
图书信息
书名：面向计算机科学的数理逻辑（第二版）作者：陆钟万
包装：平装
开本：32
页数：263页
出版社：科学出版社
出版时间：2002-1
图书简介
《面向计算机科学的数理逻辑（第二版）》叙述数理逻辑的基础性内容，涵盖经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。全书共九章，分别介绍预备知识、经典命题逻辑、经典一阶逻辑、可靠性和完备性、紧致性定理、Lowenheim-Skolem定理、Herbrand定理、公理推演系统、构造性逻辑、模态命题逻辑和模态一阶逻辑等知识点。该书选材广泛，既有经典逻辑也有非经典逻辑，而且涉及后者的构造性逻辑和模态逻辑，让读者能够更全面地了解数理逻辑的相关内容。此外，书中也会对不同逻辑背后的语言、语义、形式推演及其可靠性、完备性等问题进行深入研究。大部分章节附有习题，便于读者加深对所学知识的理解和掌握。总之，该书是一本深入浅出的数理逻辑教材，适合计算机科学以及数学爱好者学习。
推荐理由
该书介绍了数理逻辑的基础内容，包括经典逻辑和非经典逻辑。涵盖的内容广泛，且深度适中，通过教授各类逻辑的背景、语言、形式推演、可靠性和完备性等问题，读者可以深入了解逻辑思考的本质和方法。此外，书中章节间互相联系，逻辑性很强，在教授逻辑知识的同时培养了作者系统性的思维模式。因此，该书是值得计算机科学和数学爱好者深入学习的一本教材。