Displaying similar documents to “Permutation in recursive arithmetic”