Information About

Computability Theory

Recursion Theory , a branch of mathematical logic, contemporarily called computability theory.

Computability Theory (computer Science) , a branch of the theory of computation.