restricted predicate calculus

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