共 14 条
[1]
ARESKIN GY, 1953, MATEMATICESKI SBORNI, V33, P133
[2]
ARESKIN GY, 1953, DOKL AKAD NAUK, V90, P485
[3]
BIRKHOFF G, 1948, AM MATH SOC C PUBLIC, V25
[4]
Halmos P. R., 1956, COMPOS MATH, V12, P217
[5]
KLEENE SC, 1952, INTRO METAMATHEMATIC
[6]
KUZNETSOV AV, 1955, DOKL AKAD NAUK SSSR+, V105, P897
[7]
MacNeille HM, 1937, T AM MATH SOC, V42, P416
[8]
NERODE A, 1959, T AM MATH SOC, V91, P139
[9]
PEREMANS W, 1957, NEDERLANDSE AKADEM A, V60, P73
[10]
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]