Kreisel, Georg; Lacombe, Daniel Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. (English) Zbl 0079.00901 C. R. Acad. Sci., Paris 245, 1106-1109 (1957). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents Keywords:Foundations; Philosophy; Mathematical Logic PDF BibTeX XML Cite \textit{G. Kreisel} and \textit{D. Lacombe}, C. R. Acad. Sci., Paris 245, 1106--1109 (1957; Zbl 0079.00901)