Provably computable functions and the fast growing hierarchy (0)

by W BUCHHOLZ, S WAINER