Model theory - Chang, Chen Chung; Keisler, H. Jerome (Amsterdam ; New York ; Oxford : North-Holland, 1990)