| код УДК |
описание |
примечания |
| 510.62 |
Логические и логико-предметные языки |
|
| 510.63 |
Логические и логико-предметные теории. Классические (традиционные) логические системы |
|
| 510.64 |
Неклассические, формальные логические системы |
|
| 510.65 |
Логико-математические теории |
|
| 510.66 |
Поиск вывода и проблемы разрешения в логических и логико- математических исчислениях |
Поиск вывода и теория решения в статистике см. 519.226 см. 519.816 Теория принятия решения |
| 510.67 |
Теория моделей |
см. 512.54.01 Аксиоматизируемые классы групп см. 512.57 Универсальные алгебры. Свободные алгебры см. 519.766 Модели языков и языковых структур см. 519.86 Теория экономико-математических моделей |
| |