computability theory

study of computable functions and Turing degrees

หมวดหมู่: