Cappable recursively enumerable degrees and Post's program

From MaRDI portal
Publication:1311427