Изв. вузов. Матем.,
1989, номер 8, страницы 56–63
(Mi ivm8204)
|
Эта публикация цитируется в
1 статье
Полнота систем общерекурсивных функций и предикатов, I
В. Д. Соловьев г. Казань
УДК:
519.716
MSC: Primary
03D20; Secondary
03D30,
68Q05 Поступила: 08.07.1986
Исправленный вариант: 02.12.1988
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1989,
33:8,
76–87
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (823 kB)