Арсланов М.М.
Рекурсивно перечислимые множества и степени неразрешимости - Орос Казанского Университета 1986 - 202
строение полурешеток множеств и степеней,сводящихся
1050
математика математическая логика рекурсивные функций
Рекурсивно перечислимые множества и степени неразрешимости - Орос Казанского Университета 1986 - 202
строение полурешеток множеств и степеней,сводящихся
1050
математика математическая логика рекурсивные функций