УДК 519.716.3

Вопросы полноты для конкретных функциональных систем


  
код УДК описание примечания
519.716.32 Конечнозначные логики

см. 510.644 Многозначные логики (и исчисления многозначных логик)

519.716.33 Бесконечнозначные логики
519.716.35 Автоматные отображения
519.716.37 Рекурсивные функции
519.716.39 Другие системы