Зведений каталог бібліотек Харкова

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

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