Presburger

Proper noun

 * 1)  Polish mathematician
 * 1)  Polish mathematician