English ⇄ Russian +

proper propositional calculus stresses
math.	собственное пропозициональное исчисление; собственное исчисление высказываний