Model Theory and Its Applications - Kopperman, Ralph (Allyn and Bacon, 1972)