Computability and Unsolvability - Davis, Martin (Mac Graw-Hill New York, 1958)
Keywords: General Stack; Recursive functions -- Mathematical logicComputable functionsUnsolvability -- Mathematics