Model theory - Hodges, Wilfrid 1941- (Encyclopedia of mathematics and its applications, 1993)