RESTRICTED PREDICATE CALCULUS Англо-русский перевод RESTRICTED PREDICATE CALCULUS лог. узкое исчисление предикатов New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011