"Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers." - читать интересную книгу автора (Lev D. Beklemishev)