Cappable recursively enumerable degrees and Post's program - Ambos-Spies, Klaus; Nies, André (Archive for mathematical logic, 1992)
Gesehen am 26.06.2023