Super-exponentials nonprimitive recursive, but rudimentary

From MaRDI portal
Publication:1095134