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

by Donald A Martin
Venue:Z. Math. Logίk Grundlagen Math