Mojżesz Presburger

On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation

Mojżesz Presburger, Dale Jabcquette, Mojżesz Presburger, 1991 .