The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
Editor: Mineola: Dover Publications, 1993Descripción: 413 pISBN: 0486432289Tema(s): INSOLUDIBILIDAD (LOGICA MATEMATICA) | FUNSIONES RECURSIVAS | MAQUINA DE TURING | TEOREMA DE GEDELClasificación CDD: 511.3Tipo 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 | 017962 |
Total de reservas: 0
Incluye bibliografía al final de cada capítulo e indice p. 434
No hay comentarios en este titulo.