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