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