"Model Theory (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (C.C. Chang, H.J. Keisler)