The elementary theory of recursively enumerable sets

• 1 March 1968
• journal article
• Published by Duke University Press in Duke Mathematical Journal
• Vol. 35  (1) , 123-146
• https://doi.org/10.1215/s0012-7094-68-03513-8

Abstract