The upper semi-lattice of the degrees of recursive unsolvability (1954)

by S C Kleene, E L Post
Venue:Annals of Mathematics