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ó 4 resultados.

Ordenar
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.

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg

por Downey, R. G. (Rod G.) [autor] | Greenberg, Noam, 1974- [autor].

Series Annals of mathematics studies ; number 206Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, 2020Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.63 D69.

Forcing, iterated ultrapowers, and Turing degrees / editors by Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang

por Chong, C.-T. (Chi-Tat), 1949- [editor] | Feng, Qi, 1955- [editor] | Slaman, T. A. (Theodore Allen), 1954- [editor] | Woodin, W. H. (W. Hugh) [editor] | Yang, Yun [editor].

Series Lecture notes series, Institute for Mathematical Sciences, National University of Singapore ; volume 29Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Jersey : World Scientific, 2016Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 F67.

Lo demostrable e indemostrable / Yu I. Manin ; tr. del ruso, E. M. Kotenko

por Manin, IU. I [autor] | Kotenko, E.M [traductor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Moscu : Mir, c1981Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.615 M3518.

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