共 12 条
[1]
BURGESS J, UNPUBLISHED
[2]
BURGESS JP, 1974, THESIS U CALIFORNIA
[3]
HARNIK V, 1975, J SYMBOLIC LOGIC, V40, P300
[4]
Harrington L., POWERLESS PROOF THEO
[5]
Keisler H. Jerome, 1971, MODEL THEORY INFINIT
[6]
MAKKAI M, 1977, ANN MATH LOGIC, V11, P1
[7]
MAKKAI M, 1977, HDB LOGIC
[9]
MORLEY M, 1973, P S PURE MATH, V25, P233
[10]
Ressayre J-P., 1977, ANN MATH LOGIC, V11, P31, DOI DOI 10.1016/0003-4843(77)90009-2