RECURSIVE FUNCTIONS AND HIERARCHIES

被引:1
作者
PUTNAM, H [1 ]
机构
[1] HARVARD UNIV,CAMBRIDGE,MA 02138
关键词
D O I
10.2307/3038222
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:68 / 86
页数:19
相关论文
共 2 条
[1]   DEGREES OF UNSOLVABILITY OF CONSTRUCTIBLE SETS OF INTEGERS [J].
BOOLOS, G ;
PUTNAM, H .
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) :497-&
[2]  
Rogers Jr. H., 1967, MCGRAW HILL SERIES H