Computability and Unsolvability

Martin D. Davis. Computability and Unsolvability. McGraw-Hill Series in Information Processing and Computers, McGraw-Hill, 1958.

Abstract

Abstract is missing.