Mathematical logic and model theory a brief introduction - Prestel, Alexander. (Springer London :, 2011)