Recursive well–orderings. The Journal of Symbolic Logic (1955)

by C Spector
Venue:In Infinitistic Methods