Електронний каталог: Соколенко, Михаил - Изоморфный вывод: простейшая формулировка