19541, "The Upper Semi-Lattice of Degrees of Recursive Unsolvability (0)

by Stephen Cole Kleene, Enil L Post
Venue:Stanford University. Post, Eil