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