| Shelfclass_id | 3.D.1 |
| Sortkey | DAVIS, MARTIN |
| Authors | Martin Davis |
| Title | Computability & Unsolvability |
| Publisher | Dover |
| Edition | Dover ed. |
| Year | 1982 |
| Languages | eng |
| Isbn | 0486614719 |
| Description | (pbk.) xxv, 248 p. 22 cm. |
| Record date | 20081104 |
| Location | New York |
| Keywords | Recursive functions, Unsolvability (Mathematical logic), Computable functions |
| Notes | Reprint. Originally published: New York: (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix) |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/dover031/82007287.html |