Alistair H. Lachlan Recursive Real Numbers. 1-16 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#Lachlan63