English ⇄ Russian +

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