Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

Su búsqueda recuperó 12 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions / edited by Martin Davis

por Davis, Martin, 1928- [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248.5 D36 2004.

Hacer reserva Agregar al carrito
Thinking about Godel and Turing : essays on complexity 1970-2007 / Gregory J Chaitim ; with a foreword by Paul Davies

por Chaitim, Gregory J [autor] | Davies, P. C. W [prologuista].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hackensack, New Jersey : World Scientific, c2007Otro título: Godel and Turing.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 C43.

Hacer reserva Agregar al carrito
Satan, cantor y el infinito / Raymond Smullyan

por Smullyan, Raymond M [autor] | Smullyan, Raymond M. Satan, cantor, and infinity.

Series Entretenimiento serioTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Gedisa, [Espana] : [199-]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA95 S5818.

Hacer reserva Agregar al carrito
Satan, cantor & infinity : mind-boggling puzzles / Raymond M. Smullyan

por Smullyan, Raymond M [autor].

Edición: Dover editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2009Otro título: Satan, cantor, and infinity.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA95 S58 2009.

Hacer reserva Agregar al carrito
Recursive functions and metamathematics : problems of completeness and decidability, godel's theorems / Roman Murawski

por Murawski, Roman [autor].

Series Synthese library ; v. 286Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Dordrecht : Kluwer Academic, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.615 M8713.

Hacer reserva Agregar al carrito
The P=NP question and Gödel’s lost letter / Richard J. Lipton

por Lipton, Richard J [autor].

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: New York : Springer, c2010Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Agregar al carrito
The large, the small, and the human mind / Roger Penrose ... [y otros.] ; edited by Malcolm Longair

por Penrose, Roger [colaborador] | Longair, M. S, 1941- [editor] | University of Cambridge.

Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge : Cambridge University Press, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q335 L37 1997.

Hacer reserva Agregar al carrito
Kurt Godel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz [y otros]

por Baaz, Matthias [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Cambridge University Press, 2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 K87.

Hacer reserva Agregar al carrito
Juegos por siempre misteriosos : recorriendo los caminos abiertos por Godel sobre la verdad y la probabilidad / Raymond Smullyan

por Smullyan, Raymond M [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Gedisa, [Espana] : [199-]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 S5818.

Hacer reserva Agregar al carrito
Gödel's theorem : an incomplete guide to its use and abuse / Torkel Franzén

por Franzén, Torkel [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Wellesley, Massachusetts : A. K. Peters, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 F73.

Hacer reserva Agregar al carrito
Godel's way : exploits into an undecidable world / Gregory Chaitin, Newton C.A. da Costa & Francisco A. Doria

por Chaitin, Gregory J [autor] | Doria, Francisco Antonio [autor] | Costa, Newton C. A. da [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, c2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 C42.

Hacer reserva Agregar al carrito
Godel's incompleteness theorems / Raymond m. smullyan

por Smullyan, Raymond M [autor].

Series Oxford logic guides ; 19Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Oxford University Press, 1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 S59.

Hacer reserva Agregar al carrito
Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

©2022 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad