Полный англо-русский словарь
recursively calculable
Мат. рекурсивно вычислимый
Полный англо-русский словарь
recursively axiomatized
recursively closed