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