共 4 条
[1]
ERSOV JL, 1965, RUSSIAN MATH SURVEY, V20, P35
[3]
MCKINSEY JCC, 1943, J SYMBOLIC LOGIC, V8, P61
[4]
Shepherson J.C., 1951, P LOND MATH SOC, V1, P71