Зведений каталог бібліотек Львова
Класифікатори та каталоги
Логічний синтаксис та семантика. Семіотика
Теорія логічних моделей. Інтерпретація формальних систем