predicate calculus of first order

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