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

by Stephen C Kleene, Emil L Post
Venue:Annals of Mathematics