Model theory - Chang, C.C. (North-Holland Publishing Company ; American Elsevier Publishing Company, 1973)