Bounded reducibility for computable numberings

From MaRDI portal
Publication:2179352