@article{1183732126, author = {Spector, Clifford}, title = {Recursive Well-Orderings}, journal = {J. Symbolic Logic}, volume = {20}, number = {1}, year = {1955}, pages = { 151-163}, language = {en}, url = {http://dml.mathdoc.fr/item/1183732126} }
Spector, Clifford. Recursive Well-Orderings. J. Symbolic Logic, Tome 20 (1955) no. 1, pp. 151-163. http://gdmltest.u-ga.fr/item/1183732126/