УДК 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 Модальная логика. Логика установления порядка иерархии. Исчисление функций. Многоаргументные функции