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