Semi-effective numberings and definitions of the computable numbers. B.H. Mayoh — 1967 Archiv für mathematische Logik und Grundlagenforschung