Изв. вузов. Матем.,
1989, номер 9, страницы 60–66
(Mi ivm8224)
|
Эта публикация цитируется в
1 статье
Полнота систем общерекурсивных функций и предикатов, II
В. Д. Соловьев г. Казань
УДК:
510.5
MSC: 03D20 Поступила: 08.07.1986
Исправленный вариант: 02.12.1988
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1989,
33:9,
60–64
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (649 kB)