Model theory. - Cambridge University Press, 1993. - ( Encyclopedia of Mathematics and its Appl. /CUP ).