Model theory - Chang, C. C. (North-Hollands, 1973)