The complement of certain recursively defined sets

From MaRDI portal
Publication:1215499