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

by S C Kleene, E L Post
Venue:Ann. of Math