скачать индекс УДК 510.62: удобные таблицы УДК и ББК классификаторов
Логические и логико-предметные языки - онлайн УДК и ББК классификаторы для ВАКа
выше по структуре
классификация УДК
индекс УДК
описание
примечания
510.622
Синтаксис логических языков
510.624
Семантика логических языков
см.
519.76
Математические вопросы семиотики
скачать официальные таблицы ББК (Библиотечно-библиографической класификации)
скачать официальные таблицы УДК (Универсальной десятичной класификации)
скачать таблицу Excel с кодами УДК (Универсальной десятичной класификации)