computability theory

study of computable functions and Turing degrees

카테고리: