"Basic Model Theory (Center for the Study of Language and Information - Lecture Notes) " - читать интересную книгу автора (Kees Doets)