Englisch ⇄ Russisch +

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