Recursively enumerable sets of positive integers and their decision problems (1944)

by Emil L Post
Venue:Bulletin of the American Mathematical Society 50