Рекурсивно перечислимые множества и сводимости табличного типакнига