"Model Theory" - читать интересную книгу автора (Chang C.C., Keisler H.J., Troelstra A.S.)