TY - BOOK AU - Арсланов,Марат Мирзаевич TI - Рекурсивно перечислимые множества и степени неразрешимости PY - 1986/// CY - Казань PB - Изд-во Казанского ун-та KW - Функции рекурсивные ER -