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

PREDICATE CALCULUS

исчисление предикатов

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