519.716.3. Вопросы полноты для конкретных функциональных систем.
519.716.32
Конечнозначные логики.
См. также
510.644
.
519.716.33
Бесконечные логики.
519.716.35
Автоматные отображения.
519.716.37
Рекурсивные функции.
519.716.39
Другие системы.
[
Начало
]