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

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