формальный вывод Formal inference Источник: Полный русско-английский словарь на Gufo.me Предложить изменения формальный анализ формальный гомоморфизм
