Model theory and its applications - Kopperman, Ralph (Allyn and Bacon, 1972)