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

PROPER PROPOSITIONAL CALCULUS

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

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