陆万钟老师的经典数理逻辑教材，内容详实，知识点突出，例子丰富。 全书主要介绍了命题逻辑，一阶谓词逻辑，构造性逻辑，模态命题逻辑，模态一阶逻辑等几种复杂度依次提升的逻辑系统。