Closed left-r.e. sets

From MaRDI portal
Publication:2964277