On Moschovakis Closure Ordinals (1977)

by J Barwise
Venue:J. Symb. Logic