The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis
Colaborador(es): Davis, Martin [Ed.]
Editor: New York: Dover Publications 1965Descripción: 413 pISBN: 0486432289Tema(s): TEOREMA DE GEDEL | INSOLUBILIDAD (LOGICA MATEMATICA) | FUNCIONES RECURSIVAS | MAQUINA DE TURINGClasificación CDD: 511.3
| Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Bodega | Colección / Fondo / Acervo / Resguardo | 511.3 U533 (Navegar estantería) | Ej. 1 | 1 | Disponible | 017564 |
Total de reservas: 0
Incluye bibliografía al final de cada capítulo e índex p. 434
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.