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

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

[ Начало ]