Kleene, S. C.; Post, Emil L. The upper semi-lattice of degrees of recursive unsolvability. (English) Zbl 0057.24703 Ann. Math. (2) 59, 379-407 (1954). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 96 Documents Keywords:Mathematical logic PDFBibTeX XMLCite \textit{S. C. Kleene} and \textit{E. L. Post}, Ann. Math. (2) 59, 379--407 (1954; Zbl 0057.24703) Full Text: DOI