УДК : Официальный российский эталон Универсальной десятичной классификации. - ВИНИТИ, 2001 |
164.3 - Модальная логика. Логика установления порядка иерархии. Исчисление функций. Многоаргументные функции. |
Дальнейшее деление на подразделы отсутствует
[Вернуться]
|