Course in model theory an introduction to contemporary mathematical logic - Poizat Bruno; Klein Moses (New York Springer-Verlag, 2000)
Keywords: Model theory