УДК 164 Логистика. Логические исчисления
164.01 Сущность и задачи логистики
164.02 Знаки. Символы
164.03 Функции. Аргументы. Высказывания. Связывание
164.04 Аксиомы. Принципы. Правила. Теоремы
164.05 Ценность высказывания
164.07 Прочие отдельные проблемы и теоремы
164.08 Применение
164.1 Логика высказываний. Исчисление высказываний
164.2 Логика понятий. Исчисление предикатов и классов. Одноаргументная функция
164.3 Модальная логика. Логика установления порядка иерархии. Исчисление функций. Многоаргументные функции