PREDICATE CALCULUS Англо-русский перевод PREDICATE CALCULUS исчисление предикатов лог. исчисление предикатов Big English-Russian dictionary . Большой Англо-Русский словарь. 2012