Minimal pairs in initial segments of the recursively enumerable degrees

From MaRDI portal
Publication:1366939