Martin D. Davis. Computability and Unsolvability. McGraw-Hill Series in Information Processing and Computers, McGraw-Hill, 1958.
@book{0032222,
title = {Computability and Unsolvability},
author = {Martin D. Davis},
year = {1958},
researchr = {https://researchr.org/publication/0032222},
cites = {0},
citedby = {0},
series = {McGraw-Hill Series in Information Processing and Computers},
publisher = {McGraw-Hill},
}