软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前，需要分析可计算性和可证明性.最初，计算涉及正整数1，2，3，…，而证明由通常的字母A，B．C…或某些其他符号的序列组成。重要的是，要通过分析可计算性和可证明性，来理解正整数和符号序列之间的关系，以及本章提供的有关背景材料。讨论的主要问题是区分两类不同的无限集：可枚举集和不可枚举集。本章只是集合论著作中更全面阐述的无限集理论内容的一部分：与计算和证明密切相关的部分。1.1节引进可枚举性的概念，1.2节则列举一些可枚举集的例子。下一章将给出不可枚举集的例子。

适合计算机专业类和数学类专业本科以上参考使用

数理逻辑经典教材，有兴趣的同学可以看一下，这里的版本是中文版的。

可计算性与数理逻辑（第四版）（中文版） 这是一本计算机科学领域很重要的一本书，讲解可计算性和数理逻辑方面的深入的内容。