Limiting recursion (1965)

by E Mark Gold
Venue:The Journal of Symbolic Logic