Anglais ⇄ Russe +

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