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