restricted predicate calculus

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

Источник: Полный англо-русский словарь на Gufo.me