УДК 510.62
Логические и логико-предметные языки
код УДК
описание
примечания
510.622
Синтаксис логических языков
510.624
Семантика логических языков
см.
519.76
Математические вопросы семиотики