теория вычислимости

Мат. theor of calculability, theor of computability