Boone, W. W.; Rogers, H. jun. On a problem of J. H. C. Whitehead and a problem of Alonzo Church. (English) Zbl 0166.26503 Math. Scand. 19, 185-192 (1966). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 14 Documents Keywords:recursion theory, constructive mathematics PDFBibTeX XMLCite \textit{W. W. Boone} and \textit{H. Rogers jun.}, Math. Scand. 19, 185--192 (1966; Zbl 0166.26503) Full Text: DOI EuDML