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