enumerable sets and admissible ordinals (1966)

by Metarecursively
Venue:Bull. Amer. Math. Soc