Limiting recursion (1965)

by E M Gold
Venue:J. Symbolic Logic