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