A Variant of a Recursively Unsolvable Problem (1946)

by E Post
Venue:Bull. AMS