Большой англо-русский словарь (с транскрипциями) ARITHMETIC of propositions мат. арифметика высказываний