A. A. Mučnik. Ob otdélimosti rékursivno-péréčislimyh množestv (On separability of recursively enumerable sets). Doklady Akadémii Nauk SSSR, vol. 109 (1956), pp. 29–32.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):