Extension theorems, orbits, and automorphisms of the computably enumerable sets

From MaRDI portal
Publication:5437614