Recursive well-orderings (1955)

by Clifford Spector
Venue:Journal of Symbolic Logic