Mathematical logic and model theory a brief introduction / - Prestel, A. (Springer,)