A course in model theory : an introduction to contemporary mathematical logic - Poizat, Bruno (Universitext / editors S. Axler, F. W. Gehring, and K. A. Ribet, 2000)