"Model theory: An introduction" - читать интересную книгу автора (Marker D.)