共 8 条
[1]
Dekker J.C.E., 1958, CANADIAN J MATH, V10, P357
[3]
CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY
[J].
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1966, 12 (04)
:295-&
[4]
MARTIN DA, IN PRESS
[5]
Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205
[6]
SACKS GE, 1963, ANNUALS MATHEMATICS
[7]
Shoenfield J. R., 1960, P AM MATH SOC, V11, P61