first order logic
منطق مرتبه اول
Robinson arithmetic
حساب رابینسون
arithmetic (logic)
حساب (منطق)
higher order arithmetic
حساب مرتبه بالاتر
first order arithmetic
حساب مرتبه اول