Used for questions about the recursively enumerable sets in computability theory/recursion theory. Should be pretty self-explanatory.
Used for questions about the recursively enumerable sets in computability theory/recursion theory. Should be pretty self-explanatory.