| код УДК |
описание |
примечания |
| 519.716.32 |
Конечнозначные логики |
см. 510.644 Многозначные логики (и исчисления многозначных логик) |
| 519.716.33 |
Бесконечнозначные логики |
|
| 519.716.35 |
Автоматные отображения |
|
| 519.716.37 |
Рекурсивные функции |
|
| 519.716.39 |
Другие системы |
|
| |
|