On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation - Presburger, Mojzesz (1991)
Schrifttumsverzeichnis