Краткие сообщения

О решетке систем алгоритмических алгебр частично рекурсивных функций и предикатов

Ю. В. Голунков^a, А. А. Савельев<sup>b

a</sup> г. Казань
^b г. Зеленодольск

УДК: 519.716

MSC: 03D20

Поступила: 25.11.1983

 Англоязычная версия: Soviet Mathematics (Izvestiya VUZ. Matematika), 1984, 28:11, 71–74

Реферативные базы данных:

• 
•