Presburger arithmetic
حساب پرسبرگر
arithmetic (logic)
حساب (منطق)