Computability Theory

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

Computability Theory (computer Science) , locating basic questions of what is computable within the context of theoretical computer science.

Information About