ARITHMETIC OF PROPOSITIONS Англо-русский перевод ARITHMETIC OF PROPOSITIONS мат. арифметика высказываний New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011