Omitting types, type spectrums, and decidability (1983)

by T S Millar
Venue:J. Symbolic Logic