Logic # Links and resources # Presburger arithmetic, an alternative to Peano arithmetic whose decision function is an example of computational complexity worse than NP.