A variant of a recursively unsolvable problem (1946)

by E L Post
Venue:Bulletin of the AMS