English ⇄ Russian +

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