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

Лог. restricted predicate calculus

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