higher predicate calculus

Исчисление предикатов высших порядкоы

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