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