数理逻辑与机器证明陆钟万)

数理逻辑部分习题答案：内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答

哈工大任世军老师的课件写得非常好，里面对于PC、ND的部分写得尤其详细~

数理逻辑一本书,比较简单

逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。数理逻辑的内容：1、命题逻辑系统2、一阶谓词逻辑系

高级数理逻辑第一章，数理逻辑划分，及现代逻辑体系

数理逻辑.(美)Herbert.B.Enderton.pdf

高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系

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

软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前，需要分析可计算性和可证明性.最初，

数理逻辑与集合论（第2版）课后答案 图论课必备！