"Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов" - читать интересную книгу автора (Морозов А.С., Касымканулы Б.)