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

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

Теорія логічних моделей. Інтерпретація формальних систем