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

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

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

Підтеми:

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