Barback, J. Recursive functions and regressive isols. (English) Zbl 0148.24701 Math. Scand. 15, 29-42 (1964). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents Keywords:mathematical logic PDF BibTeX XML Cite \textit{J. Barback}, Math. Scand. 15, 29--42 (1964; Zbl 0148.24701) Full Text: DOI EuDML