Theory of Recursive Functions and Effective Computability
Theory of Recursive Functions and Effective Computability
复制标题
DOI：
10.2307/3614588
复制
发表时间：
1969-05
期刊：
影响因子：
--
通讯作者：
Jr. Hartley Rogers
中科院分区：
文献类型：
--
作者：
Jr. Hartley Rogers
这本书的中心问题是递归可枚举集的相关理论，特别是不可解度和图灵度。第二组主题与递归理论的泛化有关。提到的第三个主题组是次递归可计算性和次递归层次
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees in particular. A second group of topics has to do with generalizations of recursion theory. The third topics group mentioned is subrecursive computability and subrecursive hierarchies