Cappable recursively enumerable degrees and Post's program (1992)

by K Ambos-Spies, A Nies
Venue:Archive of Math. Logic