共 7 条
[2]
CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY
[J].
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1966, 12 (04)
:295-&
[3]
METAKIDES G, UNPUBLISHED
[4]
METAKIDES G, 1975, ALGEBRA LOGIC LECTUR, V450, P209
[6]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H