RESTRICTED PREDICATE CALCULUS Англо-русский перевод RESTRICTED PREDICATE CALCULUS узкое исчисление предикатов Чибисова О.И., Смирнов Н.Н.. New English-Russian dictionary of biology. Новый Англо-Русский словарь по биологии. 2003