Model theory : an introduction - Marker, David 1958- (Springer, 2002)