СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ Русско-английский перевод СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ мат. theorem-proving system Большой Русско-Английский словарь. New big Russian-English dictionary. 2012