Рекурсивно перечислимые множества и степени неразрешимости - Арсланов М.М (Изд-во Казанского ун-та, 1986)