Computability & unsolvability / Martin Davis.

By: Davis, Martin, 1928- [author]
Language: English Publisher: New York : Dover Publications, 1982Edition: Dover edDescription: xxv, 248 pages ; 22 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 0486614719 (pbk.)Subject(s): Recursive functions | Unsolvability (Mathematical logic) | Computable functionsDDC classification: 511.3 LOC classification: QA9.615 | .D38 1982Online resources: Publisher description | Table of contents
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Home library Call number Status Date due Barcode Item holds
BOOK BOOK COLLEGE LIBRARY
COLLEGE LIBRARY
SUBJECT REFERENCE 		511.3 D295 1982 (Browse shelf) Available CL-29027
Total holds: 0

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.

There are no comments for this item.

to post a comment.