The lattice of recursively enumerable sets (1956)

by J Myhill
Venue:J. Symbolic Logic