Model theory - Chang, C.C (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company, 1976)