Англо-русский перевод CONSTRUCTIVE PROPOSITIONAL CALCULUS

CONSTRUCTIVE PROPOSITIONAL CALCULUS

конструктивное исчисление высказываний, конструктивное пропозициональное исчисление

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.