Изв. вузов. Матем.,
1984, номер 4, страницы 6–11
(Mi ivm7224)
|
Рекурсивно перечислимые множества и дискретные семейства общерекурсивных функций
Ф. И. Валидов г. Казань
УДК:
519.716
MSC: 03D25 Поступила: 02.04.1982
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1984,
28:4,
6–11
Реферативные базы данных:
© , 2024