"Model Theory: An Introduction" - читать интересную книгу автора (David Marker)