Model theory and its applications - Kopperman, Ralph (Allyn and Bacon series in advanced mathematics., 1972)