ВЫВОДИМАЯ СЕКВЕНЦИЯ Русско-английский перевод ВЫВОДИМАЯ СЕКВЕНЦИЯ мат. derivable sequent Большой Русско-Английский словарь. New big Russian-English dictionary. 2012