1958], Solution of Post's reduction problem and of certain other problems in the theory of algorithms, Trudy Moskov Mat (1958)

by A A Muchnik
Venue:Obsc