RESTRICTED PREDICATE CALCULUS


Англо-русский перевод RESTRICTED PREDICATE CALCULUS

лог. узкое исчисление предикатов

Big English-Russian dictionary .      Большой Англо-Русский словарь.