"Вычислимые семейства суператомных булевых алгебр" - читать интересную книгу автора (Алаев П.Е.)