共 5 条
[1]
ACKERMANN W, 1934, MATH ANN, V110, P390
[3]
MALCEV AI, 1959, IZV AKAD NAUK SSSR M, V23, P313
[4]
ROBINSON A, 1966, STUDIES LOGIC FOUNDA
[5]
ROBINSON A, 1965, STUDIES LOGIC FOUNDA