Presburger arithmetic

Here's a brief article on why Presburger arithmetic is interesting.