Computability And Unsolvability - Davis, Martin; Davis, Martin (Mcgraw-hill Book Company New York, 1958)
Keywords: DC