共 9 条
[1]
BERGER R, 1966, MEMOIRS AM MATHEMATI
[2]
Hanf W. P., 1965, THEORY MODELS, P132
[4]
MOSTOWSKI A, 1955, FUND MATH, V43, P125
[6]
Putnam H., 1965, J SYMBOLIC LOGIC, V30, P49, DOI [10.2307/2270581, DOI 10.2307/2270581]
[8]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[9]
WANG H, 1961, AT&T TECH J, V40, P1