Three Theorems on Recursive Enumeration (1958)

by R Friedberg
Venue:Journal of Symbolic Logic