The theory of the metarecursively enumerable degrees (0)

by Noam Greenberg, Richard A Shore, Theodore A Slaman
Venue:J. Math. Log