Recursively solvable

From Free net encyclopedia