Normal functions and constructive ordinal notations (1976)

by L W Miller
Venue:J. of Symbolic Logic