Model theory : an introduction - Marker, David 1958- (Graduate texts in mathematics / editores S. Axler, K.A. Ribet, 2002)