Degree of unsolvability structure and theory - Epstein R L (Berlin Springer-Verlag, 1979)
Keywords: Mathematical logic