共 11 条
[1]
DAVIS M, 1958, COMUTABILITY UNSOLVA
[2]
Dekker J.C.E., 1958, CANADIAN J MATH, V10, P357
[3]
Dekker J. C. E., 1955, T AM MATH SOC, V78, P129
[5]
DEKKER JCE, UNPUB U CALIFORNIA P
[7]
KLEENE SC, 1952, 1950 P INT C MATH CA, V1, P679
[8]
Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205
[9]
Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]
[10]
ULLIAN J, 1958, J SYMB LOG, V23, P107