Computability & unsolvability/
Martin Davis.
- Dover ed.
- New York: Dover, 1982.
- xxv, 248 p.; 22 cm.
- McGraw-Hill series in information processing and computers .
Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix) Includes index.