共 23 条
[3]
AMBOSSPIES K, 1984, SPRINGER VERLAG LECT, V1104, P1
[4]
AMBOSSPIES K, UNPUB DEGREE THEORET
[5]
AMBOSSPIES K, 1983, 1ST GTI WORKSH TI
[7]
Friedberg R.M., 1958, J SYMBOLIC LOGIC, V23, P309, DOI [10.2307/2964290, DOI 10.2307/2964290]
[8]
INGRASSIA M, 1981, THESIS U ILLINOIS UR
[9]
LACHLAN AH, 1966, P LOND MATH SOC, V16, P537