Электронный каталог: Алексюк Ігор Анатолійович - Логічний аналіз нестандартних кванторних виразів: бінарна та обмежена квантифікація