Електронний каталог

• Класифікатори
• 164 Логістика. Символічна логіка. Математична логіка. Логічне числення

164.3 Логіка співвідношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними

Підтеми:

• 164.31 Співвідношення
• 164.32 Комбінація співвідношень
• 164.33 Ієрархія типів. Обчислення ієрархій