computability theory (Q818930)
study of computable functions and Turing degrees
Language: