Modular arithmetic of iterated powers
recursive non-primitive recursive function
scientific article; zbMATH DE number 3849211
scientific article