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