Hierarchies of Provably Recursive Functions: chapter (1995)

by M Fairtlough, S Wainer
Venue:III of Handbook of Proof Theory (S.Buss Ed) Elsevier