A Variant of a Recursively Unsolvable Problem (1946)

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