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

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

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