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

EXTENDED PROPOSITIONAL CALCULUS

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

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