@article{1183740823, author = {Daley, Robert P.}, title = {Busy Beaver Sets and the Degrees of Unsolvability}, journal = {J. Symbolic Logic}, volume = {46}, number = {1}, year = {1981}, pages = { 460-474}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740823} }
Daley, Robert P. Busy Beaver Sets and the Degrees of Unsolvability. J. Symbolic Logic, Tome 46 (1981) no. 1, pp. 460-474. http://gdmltest.u-ga.fr/item/1183740823/