Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Presburger Arithmetic
Are there "interesting" theorems in Peano arithmetic, that only use the addition operation?
May 06, 2021
Why is it impossible to define multiplication in Presburger arithmetic?
Apr 25, 2021