Некоторые свойства алгебры всех частично рекурсивных функций В.А. Соколов — 1972 Matematiceskie issledovanija