English ⇄ Russian +

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