Англійська ⇄ Російська +

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