Одна теорема о надмножествах рекурсивно-перечислимых множеств Е.З. Дымент — 1977 Sibirskij matematiceskij zurnal