Computability & unsolvability
By: Martin Davis.
Edition: Dover ed.
Series: McGraw-Hill series in information processing and computers.
Publisher: Dover
Published: 1982
Place of publication: New York
Language: eng
Number of pages: 248
Subjects: Recursive functions.; Unsolvability (Mathematical logic); Computable functions.
Notes: Bibliography: p. 237-241.
Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix)
Includes index.