Model Theory (Encyclopedia of Mathematics and its Applications)