Computability & unsolvability Martin Davis

By:

Davis, Martin

Publication details: Mineola, NY Dover Publications 1982Edition: Dover edDescription: xxv, 248 p. ; 22 cmISBN:

9780486614717

ISSN:

82007287

Subject(s):

DDC classification:

511.3 DAV

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 DAV (Browse shelf(Opens below))	Available		442874

Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)

Previous		No cover image available	No cover image available				No cover image available	Next
Previous	511.3 CRO Categories for types	511.3 DAV The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions	511.3 DAV The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions	511.3 DAV Computability & unsolvability	511.3 DEL Cellular automata : a parallel model	511.3 DEL Logic Colloquium 2007	511.3 DEL A profile of mathematical logic	Next

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 on this title.

to post a comment.

Computability & unsolvability Martin Davis

Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)

Find us on the map