A criterion for completeness of degrees of unsolvability (1957)

by R Friedberg
Venue:Journal of Symbolic Logic