Зведений каталог бібліотек Миколаєва

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

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