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

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

164.33 Ієрархія типів. Обчислення ієрархій