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 | D58Tipo 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 |
Navegando Biblioteca Central Ensenada Estantes, Ubicación: DESCARTE, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||
QA927 C7318 Ondas : | QA927 C73 V.3 Waves : | QA935 S48 Teoría y problemas de vibraciones mecánicas / | QA9.615 D58 Computability and unsolvability / | QB1 S55 1982 Simposio de historia de la astronomia en Mexico / | QB15 A24 1983 Historia de la astronomía / | QB209 G68 1979 El tiempo / |
Incluye bibliografia.
9