Socías, Length of polynomial ascending chains and primitive recursiveness (1992)

by G Moreno
Venue:MR 94d:13019