Зведений каталог бібліотек Львова

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

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