Model theory - Chang, Chen Chung (North Holland, 1978)