PRENEX SEQUENT Англо-русский перевод PRENEX SEQUENT мат. предваренная секвенция Big English-Russian dictionary . Большой Англо-Русский словарь. 2012