Model theory. Fifth edition. - North-Holland Publishing Comp., 1998. - ( Studies in Logic and the Foundations of Mathematics ; 73).