Forcing and the omitting types theorem, Studies in model theory (1973)

by H Jerome Keisler
Venue:MAA Studies in Math