predicate calculus of higher order

[ریاضیات] حساب محمولات مراتب بالاتر