Studies in logic and the foundations of mathematics: vol. 73: Model theory - Chang, C. C. (1977)