# УДК 510.6 ### Математическая логика
код УДК | описание | примечания
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 Теория экономико-математических моделей