T007501　可计算性理论导引

---

李祥编著。

贵州人民出版社1986年10月版。10．6万字。

数理逻辑递归理论的导引，主要阐述可计算性理论的最基本知识。分12章，内容包括：递归函数，图灵可计算函数，等价定理，计算模型与church论题，递归论的基本定理，算术谱系，递归可枚举集，图灵归约与跃变算子，有穷延伸与有穷损害的优先方法，计算复杂性，递归数学。

为“计算机科学丛书”之一。