Classes of recursively enumerable sets and degrees of unsolvability (1966)

by Donald A Martin
Venue:Mathematical Logic Quarterly