скачать индекс УДК 510.25: удобные таблицы УДК и ББК классификаторов
Конструктивный подход. Конструктивная математика - онлайн УДК и ББК классификаторы для ВАКа
выше по структуре
классификация УДК
индекс УДК
описание
примечания
510.252
Языки конструктивной математики
510.254
Конкретные конструктивные математические теории
скачать официальные таблицы ББК (Библиотечно-библиографической класификации)
скачать официальные таблицы УДК (Универсальной десятичной класификации)
скачать таблицу Excel с кодами УДК (Универсальной десятичной класификации)