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