Computability & unsolvability / Martin Davis
By: Davis, Martin.
New York : Dover, 1958 Description: 248 p. + catÁlogo.ISBN: 0-486-61471-9.Subject(s): Logica matematica | Funciones computables | Funciones recresivasDDC classification: 511.3 / D193Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | FONDO BIBL | 511.3 / D193 (Browse shelf) | 1 | Available | CO | 8000001925 |
Total holds: 0
There are no comments for this item.