Рекурсивно перечислимые множества и степени неразрешимости. Rekursivno perechislimyye mnozhestva i stepeni nerazreshimosti1986Prévenez-moi
