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

by Donald A Martin
Venue:Z. Math. Logik Grundlag. Math