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

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

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

Підтеми:

• Відношення
• Комбінація відношень
• Ієрархія типів. Числення ієрархій