Model theory : an introduction - Marker, David, 1958- (Graduate texts in mathematics ;, 2002)