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