"Large Infinitary Languages, Model Theory " - читать интересную книгу автора (Lev D. Beklemishev)