Degrees of unsolvability. - Sacks, Gerald E. (Princeton, N.J. Princeton University Press, 1963)
Bibliography: p. 173-174.
Keywords: Recursive functions; Unsolvability (Mathematical logic).