The density of infima in the recursively enumerable degrees

From MaRDI portal
Publication:809074