Computability & unsolvability / Martin Davis.
By: Davis, Martin [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| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY SUBJECT REFERENCE | 511.3 D295 1982 (Browse shelf) | Available | CL-29027 |
Total holds: 0
Browsing COLLEGE LIBRARY Shelves , Shelving location: SUBJECT REFERENCE Close shelf browser
|
|
|
|
|
|
|
||
| 511.1 T3433 2018 Theory, practice and techniques in discrete mathematics | 511.3 A635 1997 Nonmonotonic reasoning / | 511.3 C7639 2015 Logic and discrete mathematics : a concise introduction / | 511.3 D295 1982 Computability & unsolvability / | 511.3 D492 2005 Developments in language theory : 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings / | 511.3 D85 2000 Theory of computational complexity / | 511.3 D852 1980 Fuzzy sets and systems : theory and applications / |
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.