Effective compacts over co-immune sets

From MaRDI portal
Publication:5006637