Computability & unsolvability - Davis, Martin, 1928- (New York : Dover, 1982)
Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix)
Includes index.
Bibliography: p. 237-241.
Keywords: Recursive functions; Unsolvability (Mathematical logic); Computable functions