Angielski ⇄ Rosyjski +

extended propositional calculus akcenty
mat.	расширенное исчисление высказываний; расширенное пропозициональное исчисление; расширенное исчисление высказываний, расширенное пропозициональное исчисление