О некоторых семействах максимальных подсистем алгебр в системе алгоритмических алгебр частично рекурсивных функций и предикатов, I
Ю. В. Голунков г. Казань
УДК:
519.716 Поступила: 22.02.1982
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1983,
27:12,
13–22
Реферативные базы данных:
© , 2024