共 5 条
[1]
Birkhoff G., 1967, AM MATH SOC C PUBL, VXXV
[2]
BLYTH TS, 1965, J LONDON MATH SOC, V40, P441
[4]
CURRY HB, 1963, F MATH LOGIC