Report copyright - Presburger Arithmetic - SJTUyuxi/teaching/lectures... · It is the arithmetic with only the addition operator; in other words it is the Peano Arithmetic without the multiplication
Please pass captcha verification before submit form