recursive reducedness

Мат. рекурсивная сводимость