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

Большой англо-русский и русско-английский словарь Математическая энциклопедия