共 18 条
- [6] LERMAN M, UNPUBLISHED
- [7] LERMAN M, 1976, NOTICES AM MATH SOC, V23, P650
- [8] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 295 - &
- [9] Post E., 1944, B AM MATH SOC, V50, P284, DOI DOI 10.1090/S0002-9904-1944-08111-1
- [10] A DICHOTOMY OF RECURSIVELY ENUMERABLE SETS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (04): : 339 - &