first order logic
منطق مرتبه اول
منطق مرتبه بالاتر
higher order logic
مرتبه منطق
order of logic
مسئله تصمیم
decision problem
منطق عمومی
general logic