Model theory of algebra and arithmetic - Pacholski, L.; Wierzejewskl, J.; Wilkie, A. J. (Lecture notes in mathematics ; LNM ;, 1980)