On exponentiating exponentiation (1981)

by E Nelson
Venue:J. of Pure and Applied Algebra