On the unsolvability of the problem of reducibility in the theory of algorithms (1956)

by A Muchnik
Venue:Dokl. Akad. Nauk. S.S.S.R