Computability and unsolvability / Martin Davis.
Tipo de material:
TextoIdioma: Inglés Detalles de publicación: New York : Dover, 1982Descripción: 248 p. ; 22 cmISBN: 0-486-61471-9Tema(s): Funciones recursivas | Sin solucion (Logica simbolica y matematica) | Funciones computablesClasificación LoC:QA9.615 | D58
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Central Ensenada | Acervo General | QA9.615 D58 (Browse shelf(Abre debajo)) | 1 | Disponible | ENS014389 |
Incluye bibliografia.
9
