Большой русско-английский словарь РЕКУРСИВНО разрешимый мат. recoursively solvable, recursively soluble