Provably computable functions and the fast growing hierarchy (1987)

by W Buchholz, S Wainer
Venue:In: Logic and Combinatorics, Amer. Math. Soc., Contemporary Mathematics